Sciweavers

1302 search results - page 88 / 261
» From Liveness to Promptness
Sort
View
TASE
2010
IEEE
13 years 2 months ago
Automated Selection and Placement of Single Cells Using Vision-Based Feedback Control
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...
Y. H. Anis, Mark Holl, Deirdre R. Meldrum
ICDE
2008
IEEE
161views Database» more  ICDE 2008»
14 years 9 months ago
COLR-Tree: Communication-Efficient Spatio-Temporal Indexing for a Sensor Data Web Portal
Abstract-- We present COLR-Tree, an abstraction layer designed to support efficient spatio-temporal queries on live data gathered from a large collection of sensors. We use COLR-Tr...
Yanif Ahmad, Suman Nath
VRCAI
2004
ACM
14 years 1 months ago
Real time 3D avatar for interactive mixed reality
This paper presents real-time reconstruction of dynamic 3D avatar for interactive mixed reality. In computer graphics, one of the main goals is the combination of virtual scenes w...
Sang Yup Lee, Ig-Jae Kim, Sang Chul Ahn, Heedong K...
TRUSTBUS
2009
Springer
14 years 2 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
TACAS
2007
Springer
91views Algorithms» more  TACAS 2007»
14 years 2 months ago
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
David Harel, Itai Segall