3071 search results - page 196 / 615 » Explanatory Design Theory |
AGENTCL
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
David L. Parnas is one of the grandmasters of software engineering. His academic research and industrial collaborations have exerted far-reaching influence on software design and ...
109
click to vote
SCALESPACE
2001
Springer
15 years 3 months ago
2001
Springer
Bayesian statistical theory is a convenient way of taking a priori information into consideration when inference is made from images. In Bayesian image detection, the a priori dist...