307 search results - page 32 / 62 » Towards Integrated Verification of Timed Transition Models |
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
90
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
109
Voted
CGF
2010
14 years 9 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
63
Voted
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
119
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...