2129 search results - page 105 / 426 » Cutting-Edge Timing Analysis Techniques |
HYBRID
1994
Springer
15 years 2 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
BTW
2007
Springer
15 years 1 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
APIN
2008
14 years 10 months ago
2008
Abstract Traditional financial analysis systems utilize lowlevel price data as their analytical basis. For example, a decision-making system for stock predictions regards raw price...
ICCV
2001
IEEE
15 years 11 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...
BSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...