Sciweavers

2308 search results - page 392 / 462
» Representing Symbolic Reasoning
Sort
View
DSS
2008
99views more  DSS 2008»
15 years 5 months ago
A graphical shopping interface based on product attributes
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...
Martijn Kagie, Michiel C. van Wezel, Patrick J. F....
ASE
2006
122views more  ASE 2006»
15 years 5 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
FSS
2008
87views more  FSS 2008»
15 years 5 months ago
Higher order models for fuzzy random variables
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...
Inés Couso, Luciano Sánchez
CVIU
2006
110views more  CVIU 2006»
15 years 5 months ago
Viewpoint invariant exemplar-based 3D human tracking
This paper proposes a clustered exemplar-based model for performing viewpoint invariant tracking of the 3D motion of a human subject from a single camera. Each exemplar is associa...
Eng-Jon Ong, Antonio S. Micilotta, Richard Bowden,...
134
Voted
IJAR
2008
67views more  IJAR 2008»
15 years 5 months ago
Implementing semantic merging operators using binary decision diagrams
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of i...
Nikos Gorogiannis, Anthony Hunter