4839 search results - page 337 / 968 » A survey of computational complexity results in systems and ... |
178
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
166
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 ...
175
click to vote
HOTI
2008
IEEE
16 years 1 months ago
2008
IEEE
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
231
click to vote
CAD
2012
Springer
14 years 2 months ago
2012
Springer
We provide a flexible shape control technique in this paper for the automatic resizing of apparel products. The automatic resizing function has become an essential part of the 3D...
197
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...