812 search results - page 12 / 163 » A Complete Guide to the Future |
CI
2000
13 years 7 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
Since publication of the 2004 version, the Software Engineering Body of Knowledge (SWEBOK) has notably served as a major input to the design of curricula at the undergraduate and ...
CPAIOR
2008
Springer
13 years 9 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
MHCI
2005
Springer
14 years 1 months ago
2005
Springer
Users of mobile tour guides often express a strong desire for the system to be able to provide information on arbitrary objects they encounter during their visit – akin to point...
Publication
A hand-held surgical probe is an essential component of any image-guided neurosurgery
(IGNS). During the surgical procedure, the IGNS tracks the probe position and displays the an...