10874 search results - page 214 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
190
click to vote
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
210
click to vote
IJCAI
2001
15 years 8 months ago
2001
Although a partially observable Markov decision process (POMDP) provides an appealing model for problems of planning under uncertainty, exact algorithms for POMDPs are intractable...
160
click to vote
CCR
2010
15 years 6 months ago
2010
We provide a detailed analysis of the Lossy Difference Aggregator, a recently developed data structure for measuring latency in a router environment where packet losses can occur....
136
click to vote
CCE
2006
15 years 6 months ago
2006
Lagrangean decomposition has been recognized as a promising approach for solving large-scale optimization problems. However, Lagrangean decomposition is critically dependent on th...
171
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 ...