1941 search results - page 27 / 389 » Reasoning about Computations Using Two-Levels of Logic |
114
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
110
click to vote
BMVC
2010
14 years 12 months ago
2010
Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system....
107
click to vote
IJCAI
2001
15 years 3 months ago
2001
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
125
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
135
Voted
COMMA
2010
14 years 9 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...