3765 search results - page 736 / 753 » Formal Methods for Systems Engineering Behavior Models |
JIT
2004
Springer
14 years 2 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
SOCO
2010
Springer
13 years 7 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
CBSE
2006
Springer
14 years 10 days ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...
FUIN
2007
13 years 8 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...