2502 search results - page 467 / 501 » Using probabilistic model checking in systems biology |
123
click to vote
NN
2000
Springer
14 years 11 months ago
2000
Springer
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...
202
click to vote
TCSV
2011
14 years 6 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
102
click to vote
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
145
click to vote
CVPR
1998
IEEE
16 years 1 months ago
1998
IEEE
A new algorithm and systematic evaluation is presented for searching a database via relevance feedback. It represents a new image display strategy for the PicHunter system [2, 1]....