4341 search results - page 421 / 869 » Quantitative Model checking |
175
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Eye motion strategies in animals and humans have v e2 h2 the goal of optimizing visual perception, therefore, the study of eye motions plays an important role in the design of huma...
195
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...
199
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
211
click to vote
CIBCB
2005
IEEE
16 years 15 days ago
2005
IEEE
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
282
click to vote
CVPR
2010
IEEE
16 years 6 days ago
2010
IEEE
Treating visual object tracking as foreground and background classification problem has attracted much attention in the past decade. Most methods adopt mean shift or brute force s...