3573 search results - page 520 / 715 » Reasoning about Codata |
175
Voted
ICCV
2007
IEEE
15 years 5 months ago
2007
IEEE
Development of multiple camera based vision systems for analysis of dynamic objects such as humans is challenging due to occlusions and similarity in the appearance of a person wi...
106
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
152
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
152
Voted
IESA
2007
15 years 5 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
117
Voted
ADBIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The need for location-based services has motivated an important research effort in the efficient processing of location-dependent queries. Most of the existing approaches...