13591 search results - page 356 / 2719 » On the Implementation of Dynamic Evaluation |
196
click to vote
SAMOS
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a configurable base architecture tailorable for different applications. It allows simple and rapid way to evaluate and prototype large Multi-Processor System-on...
173
click to vote
AICT
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper introduces mTag, a distributed eventdriven architecture for discovering location specific mobile web services. Service discovery is initiated by touching a fixed RFID r...
152
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
To increase the believability and life-likeness of Embodied Conversational Agents (ECAs), we introduce a behavior synthesis technique for the generation of expressive gesturing. A...
178
click to vote
LPAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
177
click to vote
VL
2003
IEEE
16 years 3 days ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...