2196 search results - page 96 / 440 » Practical Reasoning Using Values |
159
click to vote
AAMAS
2012
Springer
13 years 10 months ago
2012
Springer
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
107
click to vote
AICCSA
2006
IEEE
15 years 4 months ago
2006
IEEE
To excite a stuck-open fault in a CMOS combinational circuit, it is only necessary that the output of the gate containing the fault takes on opposite values during the application...
121
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
105
click to vote
AAAI
2007
15 years 4 months ago
2007
We present a new probabilistic framework for finding likely variable assignments in difficult constraint satisfaction problems. Finding such assignments is key to efficient sea...
137
click to vote
CVPR
2010
IEEE
15 years 9 days ago
2010
IEEE
The calculation of a low-rank approximation of a matrix is a fundamental operation in many computer vision applications. The workhorse of this class of problems has long been the ...