761 search results - page 56 / 153 » Concise and Consistent Naming |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
CHI
2007
ACM
14 years 1 months ago
2007
ACM
In this paper we present our approach of using gamelike techniques for designing wearable computing solutions for the Paris Fire Brigade, consisting of namely a board game and a v...
BROADNETS
2004
IEEE
14 years 1 months ago
2004
IEEE
Display of continuous media using self-organizing ad hoc networks of wireless communication systems will potentially be used in a variety of applications. Example deployments migh...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...