4372 search results - page 682 / 875 » Algorithmic Theories of Everything |
171
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
In this paper, we propose a novel dependency language modeling approach for information retrieval. The approach extends the existing language modeling approach by relaxing the ind...
166
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
157
click to vote
SMA
2005
ACM
16 years 4 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
163
click to vote
WS
2005
ACM
16 years 4 days ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...
164
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...