4117 search results - page 267 / 824 » On the Satisfiability of Complex Constraints |
186
click to vote
JFPLC
2001
15 years 8 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
189
click to vote
NIPS
2003
15 years 8 months ago
2003
We present a geometric approach to statistical shape analysis of closed curves in images. The basic idea is to specify a space of closed curves satisfying given constraints, and e...
169
click to vote
ULPAA
1994
15 years 8 months ago
1994
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
187
click to vote
AAAI
2010
15 years 7 months ago
2010
In this paper a system was developed for robot behavior acquisition using kinesthetic demonstrations. It enables a humanoid robot to imitate constrained reaching gestures directed...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...