1707 search results - page 87 / 342 » Early Integer Programming |
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
CCL
1994
Springer
15 years 2 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
We investigate the sparse eigenvalue problem which arises in various fields such as machine learning and statistics. Unlike standard approaches relying on approximation of the l0n...
DT
2002
14 years 9 months ago
2002
nline search of authors and a broader subject search of abstracts of Young Children articles since 1985, volume 40, and of other articles published online since September 2002, vis...
SAS
1991
Springer
15 years 1 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...