6456 search results - page 1137 / 1292 » Constraint Solving on Terms |
178
click to vote
APIN
1998
15 years 6 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
190
click to vote
IPM
2002
15 years 6 months ago
2002
This paper proposes a new approach for classifying text documents into two disjoint classes. The new approach is based on extracting patterns, in the form of two logical expressio...
176
click to vote
SIAMJO
2002
15 years 6 months ago
2002
We study a class of generalized bundle methods for which the stabilizing term can be any closed convex function satisfying certain properties. This setting covers several algorithm...
161
click to vote
PPL
2007
15 years 5 months ago
2007
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
140
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...