3082 search results - page 264 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Most existing RCL−1 circuit reductions stamp inverse inductance L−1 elements by a second-order nodal analysis (NA). The NA formulation uses nodal voltage variables and describ...
165
click to vote
ADBIS
1998
Springer
15 years 10 months ago
1998
Springer
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
190
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
194
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
This paper discusses a new technique for detecting affective events using Hidden Markov Models(HMM). To map low level features of video data to high level emotional events, we per...
185
click to vote
RTSS
2007
IEEE
16 years 25 days ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...