4352 search results - page 248 / 871 » A Representation Theorem and Applications |
316
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
195
click to vote
AAAI
1994
15 years 8 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
210
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
209
click to vote
CCGRID
2009
IEEE
16 years 2 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
175
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
A statistical model of the fiber bundles is calculated as the average and standard deviation of a parametric representation of the fiber tracts, using the coefficients of the 3D q...