7167 search results - page 748 / 1434 » Answer Set Programming |
183
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
187
click to vote
ISMIS
1999
Springer
15 years 11 months ago
1999
Springer
Software quality prediction can be cast as a concept learning problem. In this paper, we discuss the full cycle of an application of Machine Learning to software quality predictio...
156
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
Previous work by Mattikalli et al.[1] considered the stability of assemblies of frictionless contacting bodies with uniform gravity. A linear programming-based technique was descr...
209
click to vote
HIPEAC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we examine the trade-offs in performance and area due to customizing the datapath and instruction set architecture of a soft VLIW processor implemented in a high-den...
192
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...