3663 search results - page 457 / 733 » Problems in the ontology of computer programs |
195
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
176
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
269
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
The IEEE 802.11 MAC family of standards has been designed for communication in traditional wireless LANs. The enhancement of the IEEE 802.11 family of standards is mainly seen in t...
168
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In the recent years support vector machines (SVMs) have been successfully applied to solve a large number of classification problems. Training an SVM, usually posed as a quadrati...
165
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...