4670 search results - page 307 / 934 » Toward meaningful computing |
278
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
162
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
Autonomous robots tend to induce the perception of a personality through their behavior and appearance. It has been suggested that the personality of a robot can be used as a desi...
188
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
168
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents our preliminary research on haptic displays integrated in floor surfaces. We emphasize potential roles for the latter as vibrotactile communication channels t...
289
click to vote
SADFE
2007
IEEE
16 years 1 months ago
2007
IEEE
The existing solutions in the field of computer forensics are largely ad hoc. This paper discusses the need for a rigorous model of forensics and outlines qualities that such a m...