1796 search results - page 316 / 360 » An Approach to Compositional Model Checking |
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Recovering multiple point light sources from a sparse set of photographs in which objects of unknown texture can move is challenging. This is because both diffuse and specular ref...
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
EUROMICRO
2000
IEEE
14 years 12 days ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
ICRA
2000
IEEE
14 years 12 days ago
2000
IEEE
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
PKDD
1999
Springer
14 years 7 days ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...