12194 search results - page 241 / 2439 » cans 2010 |
182
click to vote
INFORMS
2010
15 years 3 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
146
click to vote
IOR
2010
15 years 3 months ago
2010
We present a Simplex-type algorithm, that is, an algorithm that moves from one extreme point of the infinite-dimensional feasible region to another not necessarily adjacent extrem...
161
click to vote
IOT
2010
15 years 3 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
202
click to vote
IPAW
2010
15 years 3 months ago
2010
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
193
click to vote
AROBOTS
2010
15 years 3 months ago
2010
Social learning in robotics has largely focused on imitation learning. Here we take a broader view and are interested in the multifaceted ways that a social partner can influence t...