2649 search results - page 236 / 530 » Temporal Theories of Reasoning |
168
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
174
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...
207
click to vote
AI50
2006
15 years 10 months ago
2006
actvoid.se Abstract. We describe how current work in Artificial Intelligence is using rigorous tools from information theory, namely information distance and experience distance to...
164
click to vote
BMVC
1998
15 years 8 months ago
1998
When using a gradient-basedmethod to determine the optical flow field for an image sequence, it is generally appreciated that some spatial pre-filtering of the images is usually n...
160
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a motion attention model that aims at analyzing gesture saliency using context-related information at three different levels. At the first level, motion feature...