3387 search results - page 564 / 678 » Model-Checking for Real-Time Systems |
NIPS
2001
13 years 11 months ago
2001
This article presents a 2-phase computational learning model and application. As a demonstration, a system has been built, called CHIME for Computer Human Interacting Musical Enti...
IJVR
2007
13 years 10 months ago
2007
—There-reality environments are those virtual environments which evoke the same perceptual response from a viewer as if they were actually present, or there, in the real scene be...
IPM
2007
13 years 10 months ago
2007
Interactive query expansion (IQE) (c.f. Efthimiadis, 1996) is a potentially useful technique to help searchers formulate improved query statements, and ultimately retrieve better ...
ICDE
2012
IEEE
12 years 15 days ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...
ICCD
2004
IEEE
14 years 7 months ago
2004
IEEE
In this work, we propose a dynamic power-aware issue queue in a general-purpose microprocessor for multimedia applications. Its resources can be adapted at runtime in accordance w...