Sciweavers

166 search results - page 23 / 34
» Nonmonotonic Modes of Inference
Sort
View
ICPR
2002
IEEE
14 years 1 months ago
3D Tracking of Human Locomotion: A Tracking as Recognition Approach
Estimating mode (walking/running/standing) and phases of human locomotion is important for video understanding. We present a new ”tracking as recognition” approach. A hierarch...
Tao Zhao, Ramakant Nevatia
KR
1991
Springer
13 years 12 months ago
Planning as Temporal Reasoning
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
James F. Allen
MM
2004
ACM
86views Multimedia» more  MM 2004»
14 years 1 months ago
Efficient propagation for face annotation in family albums
In this paper, we propose and investigate a new user scenario for face annotation, in which users are allowed to multi-select a group of photographs and assign names to these phot...
Lei Zhang, Yuxiao Hu, Mingjing Li, Wei-Ying Ma, Ho...
ICFP
2005
ACM
14 years 8 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
14 years 23 days ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil