7311 search results - page 168 / 1463 » Time in State Machines |
185
click to vote
SYSTOR
2010
ACM
15 years 12 months ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predefined sharing of resources among the running virtual machines. We propose a new me...
189
Voted
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
154
click to vote
INFOCOM
1992
IEEE
15 years 11 months ago
1992
IEEE
The current Internet is based on a stateless (datagram) architecture. However, many recent proposals rely on the maintenance of state information within network routers, leading t...
116
click to vote
HCI
2007
15 years 8 months ago
2007
Two new computational models show that the EEG distinguishes three distinct mental states ranging from alert to fatigue. State 1 indicates heightened alertness and is frequently pr...
171
click to vote
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...