7311 search results - page 168 / 1463 » Time in State Machines |
138
click to vote
SYSTOR
2010
ACM
15 years 9 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...
144
click to vote
ICCV
2007
IEEE
16 years 6 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...
111
click to vote
INFOCOM
1992
IEEE
15 years 8 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...
84
Voted
HCI
2007
15 years 6 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...
128
click to vote
SNPD
2004
15 years 6 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 (...