6047 search results - page 759 / 1210 » Modeling with Extend |
163
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
173
click to vote
ICTCS
2001
Springer
15 years 11 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
188
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
156
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Many boundaries between objects in the world project onto curves in an image. However, boundaries involving natural objects (e.g., trees, hair, water, smoke) are often unworkable ...
155
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Process variation has forever been the major fail cause of analog circuit where small deviations in component values cause large deviations in the measured output parameters. This...