780 search results - page 17 / 156 » Compositional Quantitative Reasoning |
WMCSA
2009
IEEE
14 years 2 months ago
2009
IEEE
Context–Aware Composition is a technique to overcome the complexity of wireless discovery, device selection, and establishing connections to other computers in an environment wh...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
LICS
2005
IEEE
14 years 29 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
IJCAI
2007
13 years 8 months ago
2007
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...
RT
2001
Springer
13 years 11 months ago
2001
Springer
Altering the viewing parameters of a 3D object results in computer graphics images of varying quality. One aspect of image quality is the composition of the image. While the esthet...