9405 search results - page 449 / 1881 » Computing a Model of Set Theory |
190
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
184
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Accurate evaluation and modelling of residue-residue interactions within and between proteins is a key aspect of computational structure prediction including homology ...
210
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
194
click to vote
KDD
1999
ACM
15 years 12 months ago
1999
ACM
In this paper a concern about the accuracy (as a function of parallelism) of a certain class of distributed learning algorithms is raised, and one proposed improvement is illustrat...
182
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Smoothly bent paper-like surfaces are developable. They are however difficult to minimally parameterize since the number of meaningful parameters is intrinsically dependent on the...