2502 search results - page 413 / 501 » Using probabilistic model checking in systems biology |
135
click to vote
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Analytical modeling is an alternative to detailed performance simulation with the potential to shorten the development cycle and provide additional insights. This paper proposes a...
159
click to vote
PAMI
2012
13 years 6 months ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...
150
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
157
click to vote
ICVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
142
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Intelligent planning algorithms such as the Partially Observable Markov Decision Process (POMDP) have succeeded in dialog management applications [10, 11, 12] because of their rob...