13383 search results - page 2396 / 2677 » Abstractions from proofs |
112
click to vote
BIOADIT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
122
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The ever-increasing popularity of peer-to-peer (P2P) systems provides a strong motivation for designing a dependable P2P system. Dependability in P2P systems can be viewe...
112
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
143
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
147
Voted
IFL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...