3928 search results - page 251 / 786 » order 2006 |
167
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, a new heuristic-based approach is introduced to extract minimally unsatisfiable subformulas (in short, MUSes) of SAT instances. It is shown that it often outperforms...
241
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
166
click to vote
ACL
2006
15 years 8 months ago
2006
In this paper, we compare the performance of a state-of-the-art statistical parser (Bikel, 2004) in parsing written and spoken language and in generating subcategorization cues fr...
265
click to vote
ACL
2006
15 years 8 months ago
2006
This paper describes a system which generates animations for cooking actions in recipes, to help people understand recipes written in Japanese. The major goal of this research is ...
225
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
The automatic computation of features for content-based image retrieval still has difficulties to represent the concepts the user has in mind. Whenever an additional learning stra...