Sciweavers

70 search results - page 4 / 14
» Causal Search in Structural Vector Autoregressive Models
Sort
View
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
14 years 9 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
FGR
2008
IEEE
170views Biometrics» more  FGR 2008»
14 years 3 months ago
Using an adaptive VAR Model for motion prediction in 3D hand tracking
A robust VAR-based (vector autoregressive) model is introduced for motion prediction in 3D hand tracking. This dynamic VAR motion model is learned in an online manner. The kinemat...
Desmond Chik, Jochen Trumpf, Nicol N. Schraudolph
ISMB
2003
13 years 10 months ago
PSI: indexing protein structures for fast similarity search
We consider the problem of finding similarities in protein structure databases. Our techniques extract feature vectors on triplets of SSEs (Secondary Structure Elements). Later, ...
Orhan Çamoglu, Tamer Kahveci, Ambuj K. Sing...
DEXAW
2008
IEEE
120views Database» more  DEXAW 2008»
14 years 3 months ago
Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
Dario Bonino, Fulvio Corno
CSB
2003
IEEE
116views Bioinformatics» more  CSB 2003»
14 years 1 months ago
Towards Index-based Similarity Search for Protein Structure Databases
We propose two methods for finding similarities in protein structure databases. Our techniques extract feature vectors on triplets of SSEs (Secondary Structure Elements) of prote...
Orhan Çamoglu, Tamer Kahveci, Ambuj K. Sing...