1884 search results - page 80 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
ECWEB
2000
Springer
15 years 2 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...
IJCNN
2000
IEEE
15 years 1 months ago
2000
IEEE
This paper presents a system which learns from examples to automatically recognize people and estimate their poses in image sequences with the potential application to daily surve...
AAAI
2007
15 years 6 days ago
2007
Physically based rendering is the process of generating a 2D om the abstract description of a 3D Scene. Despite the development of various new techniques and algorithms, the compu...
171
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Enacting and capturing real motion for all potential scenarios is terribly expensive; hence, there is a great demand to synthetically generate realistic human motion. However, it ...