Sciweavers

1396 search results - page 57 / 280
» aim 2006
Sort
View
INFFUS
2006
126views more  INFFUS 2006»
14 years 9 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...
IS
2006
14 years 9 months ago
Answering content and structure-based queries on XML documents using relevance propagation
As XML documents contain both content and structure information, taking advantage of the document structure in the retrieval process can lead to better identify relevant informati...
Karen Sauvagnat, Mohand Boughanem, Claude Chrismen...
JALC
2006
95views more  JALC 2006»
14 years 9 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
JFP
2006
113views more  JFP 2006»
14 years 9 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
JMLR
2006
131views more  JMLR 2006»
14 years 9 months ago
Incremental Support Vector Learning: Analysis, Implementation and Applications
Incremental Support Vector Machines (SVM) are instrumental in practical applications of online learning. This work focuses on the design and analysis of efficient incremental SVM ...
Pavel Laskov, Christian Gehl, Stefan Krüger, ...