2917 search results - page 264 / 584 » Satisfying Interaction Constraints |
187
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
156
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
159
Voted
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
185
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...
158
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...