6456 search results - page 246 / 1292 » Constraint Solving on Terms |
171
click to vote
IDEAL
2004
Springer
15 years 12 months ago
2004
Springer
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...
144
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
142
click to vote
ECAIW
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
181
click to vote
UAI
2003
15 years 8 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
168
click to vote
IJCAI
1997
15 years 8 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...