1451 search results - page 154 / 291 » Order independence and rationalizability |
175
click to vote
SETN
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a robust, automated registration algorithm, which may be applied to several types of medical images, including CTs, MRIs, Xrays, Ultrasounds and dermatological ...
154
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
When query optimizers erroneously assume that database columns are statistically independent, they can underestimate the selectivities of conjunctive predicates by orders of magni...
175
click to vote
WWIC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
229
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
186
click to vote
MTV
2003
IEEE
15 years 11 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...