1424 search results - page 194 / 285 » Experiences on Designing an Integral Intrusion Detection Sys... |
114
click to vote
BELL
2000
15 years 1 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
120
click to vote
AAAI
2004
15 years 2 months ago
2004
We are designing and developing a mobile clinical decision support system, known as MET (Mobile Emergency Triage), for supporting emergency triage of different types of acute pain...
104
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...
137
click to vote
VRML
2004
ACM
15 years 6 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
113
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract— We present an integrated vision and robotic system that plays, and learns to play, simple physically-instantiated board games that are variants of TIC TAC TOE and HEXAP...