1228 search results - page 83 / 246 » Continuations, proofs and tests |
132
click to vote
CP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Finding feasible points for which the proof succeeds is a critical issue in safe Branch and Bound algorithms which handle continuous problems. In this paper, we introduce...
141
click to vote
DGCI
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we prove that the function giving the frequency of a class of patterns of digital planes with respect to the slopes of the plane is continuous and piecewise affine, m...
149
click to vote
CLA
2007
15 years 7 months ago
2007
Boolean factor analysis aims at decomposing an objects × attributes Boolean matrix I into a Boolean product of an objects × factors Boolean matrix A and a factors × attributes B...
166
click to vote
AIPS
2000
15 years 7 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
141
click to vote
AIR
2010
15 years 6 months ago
2010
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...