1669 search results - page 76 / 334 » Structured Specification of Model Interpreters |
122
click to vote
NAACL
2001
15 years 4 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...
114
click to vote
RE
2006
Springer
15 years 3 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...
143
click to vote
MR
2007
15 years 2 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...
119
Voted
AAAI
2000
15 years 4 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...
125
click to vote
FOSSACS
2005
Springer
15 years 9 months 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...