10568 search results - page 256 / 2114 » Computer Intelligence and Formalization |
130
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
133
click to vote
AAAI
2007
15 years 5 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
144
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
136
Voted
SIGGRAPH
1995
ACM
15 years 6 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...
106
click to vote
JACIII
2007
15 years 3 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...