65 search results - page 10 / 13 » Generating Counter-Examples Through Randomized Guided Search |
103
click to vote
WWW
2005
ACM
16 years 8 days ago
2005
ACM
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...
156
click to vote
RECOMB
2002
Springer
15 years 12 months ago
2002
Springer
This paper concerns the discovery of patterns in gene expression matrices, in which each element gives the expression level of a given gene in a given experiment. Most existing me...
COR
2008
14 years 11 months ago
2008
In this paper a two-level hierarchical model for the location of concentrators and routers in computers networks is presented. Given a set of candidate locations and the capacitie...
ICPR
2004
IEEE
16 years 21 days ago
2004
IEEE
Pattern matching is a well-known pattern recognition technique. This paper proposes a novel pattern matching algorithm that searches transformation space by sequential subdivision...
IJAIT
2000
14 years 11 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...