2218 search results - page 418 / 444 » Testing Expressibility Is Hard |
DNA
2009
Springer
14 years 2 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
ECRTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
In this article we explore the use of methodologies for 3D reconstruction from multiple images to recognize faces. We try to devise a strategy to tackle the problem of recognizing...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The purpose of evaluation procedures is to achieve both qualitative and quantitative statements on haptic rendering realism and performance. Since a haptic interface provides a...