4499 search results - page 565 / 900 » Hyper-selection in dynamic environments |
185
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
187
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Reducing the supply voltage to reduce dynamic power consumption in CMOS devices, inadvertently will lead to an exponential increase in leakage power dissipation. In this work we ex...
127
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
Intelligent monitoring facilities are of paramount importance in both service and network management as they provide the capability to monitor quality of service and utilisation pa...
186
click to vote
SCA
2007
15 years 9 months ago
2007
We present a new approach to character skinning where divergence-free vector fields induced by skeletal motion, describe the velocity of skin deformation. The joint transformation...
168
click to vote
AAAI
2007
15 years 9 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...