Sciweavers

2909 search results - page 63 / 582
» Consistency of the theory of contexts
Sort
View
WWW
2007
ACM
16 years 6 months ago
Exploration of query context for information retrieval
A number of existing information retrieval systems propose the notion of query context to combine the knowledge of query and user into retrieval to reveal the most exact descripti...
Keke Cai, Chun Chen, Jiajun Bu, Peng Huang, Zhimin...
FROCOS
2009
Springer
16 years 22 days ago
Automating Theories in Intuitionistic Logic
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
Guillaume Burel
CHI
2004
ACM
16 years 6 months ago
Context photography: modifying the digital camera into a new creative tool
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
Sara Ljungblad, Maria Håkansson, Lalya Gaye,...
ICDAR
2005
IEEE
15 years 11 months ago
Data categorization for a context return applied to logical document structure recognition
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
Yves Rangoni, Abdel Belaïd
INFFUS
2006
126views more  INFFUS 2006»
15 years 6 months ago
Social choice theory, belief merging, and strategy-proofness
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
Samir Chopra, Aditya K. Ghose, Thomas Andreas Meye...