2144 search results - page 219 / 429 » Understanding Document Analysis and Understanding (through M... |
172
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
We are interested in modeling the variability of different images of the same scene, or class of objects, obtained by changing the imaging conditions, for instance the viewpoint o...
141
click to vote
ESEM
2009
ACM
16 years 4 days ago
2009
ACM
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
172
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
144
click to vote
SOCIALCOM
2010
15 years 3 months ago
2010
Online popularity has enormous impact on opinions, culture, policy, and profits, especially with the advent of the social Web and Web advertising. Yet the processes that drive popu...
206
click to vote
IRI
2009
IEEE
16 years 8 days ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...