Sciweavers

1643 search results - page 225 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
15 years 5 months ago
Bouncing an Unconstrained Ball in Three Dimensions with a Blind Juggling Robot
— We describe the design of a juggling robot that is able to vertically bounce a completely unconstrained ball without any sensing. The robot consists of a linear motor actuating...
Philipp Reist, Raffaello D'Andrea
SIGCOMM
2009
ACM
15 years 5 months ago
Crossbow: from hardware virtualized NICs to virtualized networks
This paper describes a new architecture for achieving network virtualization using virtual NICs (VNICs) as the building blocks. The VNICs can be associated with dedicated and inde...
Sunay Tripathi, Nicolas Droux, Thirumalai Srinivas...
92
Voted
AIME
2007
Springer
15 years 5 months ago
The Role of Model Checking in Critiquing Based on Clinical Guidelines
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
Perry Groot, Arjen Hommersom, Peter J. F. Lucas, R...
62
Voted
ICMI
2007
Springer
129views Biometrics» more  ICMI 2007»
15 years 5 months ago
Towards smart meeting: enabling technologies and a real-world application
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...
Zhiwen Yu, Motoyuki Ozeki, Yohsuke Fujii, Yuichi N...
HICSS
2006
IEEE
146views Biometrics» more  HICSS 2006»
15 years 5 months ago
Contextual e-Negotiation for the Handling of Private Data in e-Commerce on a Semantic Web
In this paper, we describe data support in an information system to support contextual, online negotiation of privacy contracts for e-commerce on the Semantic Web. Context is impo...
Yingxin (Sheila) He, Dawn N. Jutla