6047 search results - page 388 / 1210 » Modeling with Extend |
155
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
183
click to vote
CA
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose a layered facial simulation model for skin aging with wrinkles, which includes muscle, connective tissue and skin layer. Our aim is to simulate relevant facial animatio...
120
Voted
NIPS
1997
15 years 6 months ago
1997
In many real world tasks, only a small fraction of the available inputs are important at any particular time. This paper presents a method for ascertaining the relevance of inputs...
126
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
144
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...