Sciweavers

4403 search results - page 293 / 881
» Galois Theory of Algorithms
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
ACL
2010
15 years 4 months ago
Fully Unsupervised Core-Adjunct Argument Classification
The core-adjunct argument distinction is a basic one in the theory of argument structure. The task of distinguishing between the two has strong relations to various basic NLP task...
Omri Abend, Ari Rappoport
199
Voted
ALT
2003
Springer
16 years 3 months ago
On the Existence and Convergence of Computable Universal Priors
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
Marcus Hutter
SIGECOM
2006
ACM
139views ECommerce» more  SIGECOM 2006»
16 years 19 days ago
Playing games in many possible worlds
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
Matt Lepinski, David Liben-Nowell, Seth Gilbert, A...
KR
1992
Springer
15 years 10 months ago
Embedding Defaults into Terminological Knowledge Representation Formalisms
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
Franz Baader, Bernhard Hollunder