860 search results - page 157 / 172 » A Process Algebra Based Verification of a Production System |
CVPR
1998
IEEE
14 years 9 months ago
1998
IEEE
This paper demonstrates a new visual motion estimation technique that is able to recover high degree-of-freedom articulated human body configurations in complex video sequences. W...
ISQED
2008
IEEE
14 years 2 months ago
2008
IEEE
Off-chip communication consumes a significant part of main memory system power. Existing solutions imply the use of specialized memories or assume error free environments. This i...
ICN
2007
Springer
14 years 1 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
CIA
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. The description of public resources such as web site contents, web services or data files in open peer-to-peer networks using some formal framework like RDF usually re...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Making sense of the information found during an investigational Web search task can be daunting. With the recent emergence of tools to support collaborative Web search, the associ...