2979 search results - page 265 / 596 » Computation and the Periodic Table |
177
click to vote
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
177
click to vote
SPIN
2004
Springer
16 years 1 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
165
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a generic scheme for a central, yet untackled issue in overlay dynamic networks: maintaining stability over long life and against malicious adversaries. The ge...
171
click to vote
ISWC
2003
IEEE
15 years 12 months ago
2003
IEEE
We explore the use of a shoe-mounted camera as a sensory system for wearable computing. We demonstrate tools useful for gait analysis, obstacle detection, and context recognition....
169
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In many Internet scale replicated system, not all replicas can be dealt with in the same way, since some will be in greater demand than others. In the case of weak consistency algo...