Sciweavers

5847 search results - page 654 / 1170
» Visualization of Knowledge Structures
Sort
View
102
Voted
ICML
2005
IEEE
16 years 7 months ago
Optimal assignment kernels for attributed molecular graphs
We propose a new kernel function for attributed molecular graphs, which is based on the idea of computing an optimal assignment from the atoms of one molecule to those of another ...
Andreas Zell, Florian Sieker, Holger Fröhlich...
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
16 years 1 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
ISBI
2007
IEEE
16 years 13 days ago
Grafip: A Framework for the Representation of Healthy and Pathological Cerebral Information
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
Jamal Atif, Céline Hudelot, Olivier Nempont...
GECCO
2005
Springer
162views Optimization» more  GECCO 2005»
15 years 11 months ago
A framework for learning coordinated behavior
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
Albert C. Esterline, Chafic BouSaba, Abdollah Homa...
TARK
2005
Springer
15 years 11 months ago
Complexity results for logics of local reasoning and inconsistent belief
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
Martin Allen