3054 search results - page 528 / 611 » An fMRI Activation Method Using Complex Data |
ACCV
2007
Springer
15 years 4 months ago
2007
Springer
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
MEMOCODE
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
SEMWEB
2009
Springer
15 years 2 months ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
ICA
2007
Springer
14 years 11 months ago
2007
Springer
In this paper, we propose a Bayesian estimation approach to extend independent subspace analysis (ISA) for an overcomplete representation without imposing the orthogonal constraint...