4150 search results - page 395 / 830 » A Practical Approach to Model Extension |
145
click to vote
AAAI
2006
15 years 7 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
166
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
This paper proposes a learning approach for the merging process in multilingual information retrieval (MLIR). To conduct the learning approach, we also present a large number of f...
176
click to vote
AMFG
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a method for estimating the absolute pose of a rigid object based on intensity and depth viewbased eigenspaces, built across multiple views of example obj...
158
click to vote
IATA
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we present several approaches to making the process of configuring network devices easier than is currently the case. Configuring a device requires that a number of ...
183
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...