979 search results - page 70 / 196 » Footprints in Local Reasoning |
IJCAI
2007
13 years 9 months ago
2007
Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network structure. In this paper, we define a new method of comp...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
WACV
2008
IEEE
14 years 2 months ago
2008
IEEE
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
ICCBR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
FLAIRS
2003
13 years 9 months ago
2003
Multi-case-base reasoning (MCBR) extends case-based reasoning to draw on multiple case bases that may address somewhat different tasks. In MCBR, an agent selectively supplements i...