Sciweavers

2914 search results - page 449 / 583
» Learning and Inference with Constraints
Sort
View
CSL
2005
Springer
15 years 11 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
KES
2005
Springer
15 years 11 months ago
Design of a Digital Forensics Image Mining System
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
Ross Brown, Binh Pham, Olivier Y. de Vel
ARGMAS
2004
Springer
15 years 11 months ago
An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
Marcela Capobianco, Carlos Iván Chesñ...
BIBE
2009
IEEE
185views Bioinformatics» more  BIBE 2009»
15 years 11 months ago
Anomaly-free Prediction of Gene Ontology Annotations Using Bayesian Networks
Gene and protein structural and functional annotations expressed through controlled terminologies and ontologies are paramount especially for the aim of inferring new biomedical k...
Marco Tagliasacchi, Marco Masseroli
EDBT
2009
ACM
85views Database» more  EDBT 2009»
15 years 10 months ago
Expressive, yet tractable XML keys
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...
Sven Hartmann, Sebastian Link