Sciweavers

656 search results - page 121 / 132
» Parameterized Types for Java
Sort
View
SI3D
1999
ACM
13 years 12 months ago
Localized-hierarchy surface splines (LeSS)
An explicit spline representation of smooth free-form surfaces is combined with a hierarchy of meshes to form the basis of an interactive sculpting environment. The environment of...
Carlos Gonzalez-Ochoa, Jörg Peters
ESORICS
2007
Springer
13 years 11 months ago
Satisfiability and Resiliency in Workflow Systems
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
Qihua Wang, Ninghui Li
KBSE
2000
IEEE
13 years 11 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
LREC
2008
136views Education» more  LREC 2008»
13 years 9 months ago
Design and Recording of Czech Audio-Visual Database with Impaired Conditions for Continuous Speech Recognition
In this paper we discuss the design, acquisition and preprocessing of a Czech audio-visual speech corpus. The corpus is intended for training and testing of existing audio-visual ...
Jana Trojanová, Marek Hrúz, Pavel Ca...
AAAI
1998
13 years 9 months ago
Leveled Commitment Contracts with Myopic and Strategic Agents
In automated negotiation systems consisting of self-interested agents, contracts have traditionally been binding, i.e., impossible to breach. Such contracts do not allow the agent...
Martin Andersson, Tuomas Sandholm