4346 search results - page 310 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
222
click to vote
TVCG
2012
13 years 8 months ago
2012
—Depth camera such as Microsoft Kinect, is much cheaper than conventional 3D scanning devices, and thus it can be acquired for everyday users easily. However, the depth data capt...
157
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
151
click to vote
EPEW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
184
click to vote
IVC
2006
15 years 6 months ago
2006
Objects in the world exhibit complex interactions. When captured in a video sequence, some interactions manifest themselves as occlusions. A visual tracking system must be able to...
190
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...