Sciweavers

4762 search results - page 385 / 953
» About the use of protein models
Sort
View
SSDBM
2008
IEEE
90views Database» more  SSDBM 2008»
16 years 1 months ago
Ontology Database: A New Method for Semantic Modeling and an Application to Brainwave Data
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
Paea LePendu, Dejing Dou, Gwen A. Frishkoff, Jiawe...
MICCAI
2007
Springer
16 years 28 days ago
Robust Autonomous Model Learning from 2D and 3D Data Sets
In this paper we propose a weakly supervised learning algorithm for appearance models based on the minimum description length (MDL) principle. From a set of training images or volu...
Georg Langs, Rene Donner, Philipp Peloschek, Horst...
CAV
2004
Springer
130views Hardware» more  CAV 2004»
15 years 10 months ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi
DAGSTUHL
2007
15 years 8 months ago
An analytic solution to the alibi query in the bead model for moving object data
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...
Bart Kuijpers, Walied Othman
NIPS
2008
15 years 8 months ago
Designing neurophysiology experiments to optimally constrain receptive field models along parametric submanifolds
Sequential optimal design methods hold great promise for improving the efficiency of neurophysiology experiments. However, previous methods for optimal experimental design have in...
Jeremy Lewi, Robert J. Butera, David M. Schneider,...