3628 search results - page 458 / 726 » Approaching the Physical Limits of Computing |
202
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
174
click to vote
SG
2007
Springer
16 years 1 months ago
2007
Springer
For the generation of freeform 3D models, one of the most intuitive solution is to use sketch-based modeling environments. Unfortunately, since the user interface relies upon the a...
196
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
Differential games (DGs), considered as a typical model of game with continuous states and non-linear dynamics, play an important role in control and optimization. Finding optimal...
174
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
— The increase in the demand for voice and data wireless services creates a need for a more efficient use of the available bandwidth. Current and future generations cellular sys...
208
click to vote
VTS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an improved method to accurately estimate signal probabilities using ordered partial decision diagrams (OPDDs) [Kodavarti 93] for partial representation of the...