4099 search results - page 609 / 820 » A Framework for Interactive Proof |
126
click to vote
PAMI
2008
2008
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
15 years 4 months ago
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...
153
click to vote
RTS
2006
15 years 4 months ago
2006
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
128
click to vote
ISF
2007
15 years 4 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
143
click to vote
TOG
2008
15 years 4 months ago
2008
Simulated characters in simulated worlds require simulated skills. We develop control strategies that enable physically-simulated characters to dynamically navigate environments w...
150
click to vote
AAMAS
2000
Springer
15 years 4 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...