1669 search results - page 76 / 334 » Structured Specification of Model Interpreters |
163
click to vote
NAACL
2001
15 years 8 months ago
2001
In human sentence processing, cognitive load can be defined many ways. This report considers a definition of cognitive load in terms of the total probability of structural options...
163
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Terminological interference occurs in requirements engineering when stakeholders vary in the concepts they use to understand a problem domain, and the terms they use to describe t...
197
click to vote
MR
2007
15 years 6 months ago
2007
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
167
click to vote
AAAI
2000
15 years 8 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
165
Voted
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...