343 search results - page 12 / 69 » Normal State Implicature |
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
ICMI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract Eyes play important roles in emotion and paralinguistic communications. Detection of eye state is necessaryfor applicationssuch as driver awareness systems. In this paper,...
SIGCOMM
2000
ACM
15 years 1 months ago
2000
ACM
Routers must do a best matching pre x lookup for every packet solutions for Gigabit speeds are well known. As Internet link speeds higher, we seek a scalable solution whose speed ...