878 search results - page 103 / 176 » Experiments with Linguistic Categories for Language Model Op... |
CAV
1997
Springer
14 years 10 days ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
SIGIR
2010
ACM
14 years 19 days ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
CONCURRENCY
2000
13 years 8 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
CIKM
2000
Springer
14 years 1 months ago
2000
Springer
An e ective bu er management system is crucial for any database management system. While much work has been expended to provide extensible data types,extensible query languages an...