812 search results - page 12 / 163 » A Complete Guide to the Future |
185
click to vote
CI
2000
15 years 4 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...
107
click to vote
CSEE
2009
Springer
15 years 11 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 ...
138
click to vote
CPAIOR
2008
Springer
15 years 6 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 ...
144
click to vote
MHCI
2005
Springer
15 years 10 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...
313
click to vote
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...