3628 search results - page 458 / 726 » Approaching the Physical Limits of Computing |
184
Voted
ICSOC
2007
Springer
16 years 25 days 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...
160
click to vote
SG
2007
Springer
16 years 24 days 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...
172
click to vote
IAT
2006
IEEE
16 years 22 days 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...
159
click to vote
VTC
2006
IEEE
16 years 21 days 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...
191
click to vote
VTS
2006
IEEE
16 years 21 days 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...