1174 search results - page 182 / 235 » Scaling Topic Maps |
ICLP
1999
Springer
14 years 1 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
HT
1998
ACM
14 years 1 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
DAS
2010
Springer
14 years 24 days ago
2010
Springer
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...
ASPDAC
2007
ACM
14 years 24 days ago
2007
ACM
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...
ESCIENCE
2007
IEEE
14 years 20 days ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...