3913 search results - page 171 / 783 » complexity 2006 |
148
click to vote
JAIR
2002
15 years 4 months ago
2002
We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions fr...
120
click to vote
IANDC
1998
15 years 4 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
120
click to vote
INTEGRATION
1998
15 years 4 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
111
click to vote
PRL
2002
15 years 3 months ago
2002
Pattern detection problems require a separation between two classes, Target and Clutter, where the probability of the former is substantially smaller compared to that of the latte...
101
click to vote
RSA
2002
15 years 3 months ago
2002
Let H be a fixed graph with h vertices, let G be a graph on n vertices and suppose that at least n2 edges have to be deleted from it to make it H-free. It is known that in this ca...