Sciweavers

5022 search results - page 318 / 1005
» Data structures and problem solving using Java
Sort
View
139
Voted
ICCV
2009
IEEE
16 years 8 months ago
Absolute Scale in Structure from Motion from a Single Vehicle Mounted Camera by Exploiting Nonholonomic Constraints
In structure-from-motion with a single camera it is well known that the scene can be only recovered up to a scale. In order to compute the absolute scale, one needs to know the ...
Davide Scaramuzza, Friedrich Fraundorfer, Marc Pol...
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
15 years 8 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee
NAR
2011
274views Computer Vision» more  NAR 2011»
14 years 10 months ago
A series of PDB related databases for everyday needs
The Protein Data Bank (PDB) is the world-wide repository of macromolecular structure information. We present a series of databases that run parallel to the PDB. Each database hold...
Robbie P. Joosten, Tim A. H. te Beek, Elmar Kriege...
ISBI
2008
IEEE
16 years 4 months ago
Estimation of cortical multivariate autoregressive models for EEG/MEG using an expectation-maximization algorithm
A new method for estimating multivariate autoregressive (MVAR) models of cortical connectivity from surface EEG or MEG measurements is presented. Conventional approaches to this p...
Bing Leung, Patrick Cheung, Barry D. Van Veen
CAS
2007
87views more  CAS 2007»
15 years 3 months ago
An Accelerated Algorithm for Density Estimation in Large Databases Using Gaussian Mixtures
Today, with the advances of computer storage and technology, there are huge datasets available, offering an opportunity to extract valuable information. Probabilistic approaches ...
Alvaro Soto, Felipe Zavala, Anita Araneda