3446 search results - page 304 / 690 » A Reasoning Algorithm for pD* |
187
click to vote
DIS
2004
Springer
16 years 54 min ago
2004
Springer
Abstract. In this paper, we consider 0/1 databases and provide an alternative way of extracting knowledge from such databases using tiles. A tile is a region in the database consis...
161
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
194
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
159
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
155
Voted
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...