7123 search results - page 211 / 1425 » The Ordered Set of Rough Sets |
179
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
173
click to vote
WEBI
2007
Springer
16 years 20 days ago
2007
Springer
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
151
click to vote
ICIP
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper an objective metric to measure the perceptual quality of watermarked 3D meshes is presented. The metric, which is based on a black-box approach, relies on the measur...
140
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The rugged mountainous regions of the deep seafloor hold both great scientific interest as well a host of difficult challenges for autonomous robots. Exploiting its abilities for ...
171
click to vote
ACL
1998
15 years 8 months ago
1998
Determining the attachments of prepositions and subordinate conjunctions is a key problem in parsing natural language. This paper presents a trainable approach to making these att...