4520 search results - page 335 / 904 » Algebraic Techniques for Timed Systems |
173
click to vote
ANTSW
2008
Springer
15 years 9 months ago
2008
Springer
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
150
Voted
COLING
2008
15 years 9 months ago
2008
The existence of two scripts for Punjabi language has created a script barrier between the Punjabi literature written in India and Pakistan. This research has developed a new syst...
268
click to vote
IFIPTM
2009
15 years 5 months ago
2009
Trust has been explored by many researchers in the past as a solution for assisting the process of recommendation production. In this work we are examining the feasibility of build...
249
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
224
Voted
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...