Sciweavers

2314 search results - page 202 / 463
» What is a Model
Sort
View
3DIM
2005
IEEE
15 years 6 months ago
Bayesian Modelling of Camera Calibration and Reconstruction
Camera calibration methods, whether implicit or explicit, are a critical part of most 3D vision systems. These methods involve estimation of a model for the camera that produced t...
Rashmi Sundareswara, Paul R. Schrater
ATAL
2010
Springer
15 years 4 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
JFP
2006
78views more  JFP 2006»
15 years 4 months ago
Sound and complete models of contracts
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
Matthias Blume, David A. McAllester
IEEEVAST
2010
14 years 11 months ago
Geo-historical context support for information foraging and sensemaking: Conceptual model, implementation, and assessment
Information foraging and sensemaking with heterogeneous information are context-dependent activities. Thus visual analytics tools to support these activities must incorporate cont...
Brian M. Tomaszewski, Alan M. MacEachren
ATAL
1998
Springer
15 years 8 months ago
Intention Reconsideration Reconsidered
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
Michael Wooldridge, Simon Parsons