Sciweavers

2907 search results - page 436 / 582
» Presentations of Structures in Admissible Sets
Sort
View
DAC
2006
ACM
16 years 7 months ago
SAT sweeping with local observability don't-cares
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto...
IPMI
1999
Springer
16 years 7 months ago
Brain Morphometry by Distance Measurement in a Non-Euclidean, Curvilinear Space
Inspired by the discussion in neurological research about the callosal fiber connections with respect to brain asymmetry we developed a technique that measures distances between br...
Martin Styner, Thomas Coradi, Guido Gerig
ICML
2007
IEEE
16 years 7 months ago
An integrated approach to feature invention and model construction for drug activity prediction
We present a new machine learning approach for 3D-QSAR, the task of predicting binding affinities of molecules to target proteins based on 3D structure. Our approach predicts bind...
David Page, Jesse Davis, Soumya Ray, Vítor ...
ICML
2007
IEEE
16 years 7 months ago
Neighbor search with global geometry: a minimax message passing algorithm
Neighbor search is a fundamental task in machine learning, especially in classification and retrieval. Efficient nearest neighbor search methods have been widely studied, with the...
Kye-Hyeon Kim, Seungjin Choi
ICML
2003
IEEE
16 years 7 months ago
Goal-directed Learning to Fly
Learning to fly an aircraft is a complex task that requires the development of control skills and goal achievement strategies. This paper presents a behavioural cloning system tha...
Andrew Isaac, Claude Sammut