5205 search results - page 967 / 1041 » Tilings and model theory |
171
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
One of the central issues in learning to rank for information retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures used in i...
196
click to vote
AAI
2005
15 years 6 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...
177
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
150
click to vote
AML
2005
15 years 6 months ago
2005
It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are gre...
169
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Popular methods to reconstruct molecular phylogenies are based on multiple sequence alignments, in which addition or removal of data may change the resulting tree topo...