11436 search results - page 420 / 2288 » Modeling Real Reasoning |
147
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
132
click to vote
UAI
1989
15 years 6 months ago
1989
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
164
click to vote
PAMI
2006
15 years 4 months ago
2006
We present a Bayesian method for mixture model training that simultaneously treats the feature selection and the model selection problem. The method is based on the integration of ...
123
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper describes a system-level modeling method in UML for performance evaluation of embedded systems. The core technology of this modeling method is reverse modeling based ...
128
click to vote
SIGOPSE
1998
ACM
15 years 9 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...