1705 search results - page 173 / 341 » Representing Constraints with Automata |
168
click to vote
AAAI
1996
15 years 7 months ago
1996
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
141
click to vote
ACL
1990
15 years 7 months ago
1990
In this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric...
191
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we propose a novel approach to represent coalitional games, called a Coalition-Flow Network (CF-NET), that builds upon a generalization of the network flow literature...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
186
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
A robust MPC for constrained nonlinear systems with uncertainties is presented. Outer bounds of the reachable sets of the system are used to predict the evolution of the system un...