1912 search results - page 206 / 383 » GOAL as a Planning Formalism |
200
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
176
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
166
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
194
click to vote
CLA
2007
15 years 8 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
165
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...