Sciweavers

4636 search results - page 668 / 928
» Modelling and Validation with VipTool
Sort
View
CBMS
2006
IEEE
15 years 10 months ago
A Decision Support System for the Diagnosis of Coronary Artery Disease
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...
ICAT
2006
IEEE
15 years 10 months ago
Air-Jet Button Effects in AR
Providing haptic cues can generate increased levels of presence in users as they interact with tangible objects. In this paper, we present button effects delivered by air-jet displ...
Yeongmi Kim, Sehun Kim, Taejin Ha, Ian Oakley, Woo...
IROS
2006
IEEE
117views Robotics» more  IROS 2006»
15 years 10 months ago
Toward Active Cannulas: Miniature Snake-Like Surgical Robots
— We have developed a new class of continuously flexible snake-like robots, called active cannulas, that consist of several telescoping pre-curved superelastic tubes. The device...
Robert J. Webster III, Allison M. Okamura, Noah J....
LCN
2006
IEEE
15 years 10 months ago
Packet Dispersion in IEEE 802.11 Wireless Networks
— Packet dispersion techniques have been commonly used to estimate bandwidth in wired networks. However, current packet dispersion techniques were developed for wired network env...
Mingzhe Li, Mark Claypool, Robert E. Kinicki
ISSTA
2006
ACM
15 years 10 months ago
Producing scheduling that causes concurrent programs to fail
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel...