2529 search results - page 262 / 506 » The Logical Structure of Binding |
152
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
195
Voted
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
158
click to vote
CIE
2007
Springer
16 years 25 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
194
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
183
click to vote
CIMCA
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Deni...