Sciweavers

373 search results - page 63 / 75
» Explicitly Modelling Model Debugging Environments
Sort
View
CLIMA
2004
14 years 11 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua
GLOBECOM
2009
IEEE
15 years 4 months ago
Improving Deployability of Peer-Assisted CDN Platform with Incentive
Abstract—As a promising solution to manage the huge workload of large-scale VoD services, managed peer-assisted CDN systems, such as P4P [25] has attracted attention. Although th...
Tatsuya Mori, Noriaki Kamiyama, Shigeaki Harada, H...
ICCV
1995
IEEE
15 years 1 months ago
Recognition Using Region Correspondences
Recognition systems attempt to recover information about the identity of observed objects and their location in the environment. A fundamental problem in recognition is pose estima...
Ronen Basri, David W. Jacobs
ECCV
1996
Springer
15 years 11 months ago
Uncalibrated Visual Tasks via Linear Interaction
In this paper, we propose an approach for the control and layering of space-time continuous visual tasks with an uncalibrated camera. The approach is based on the bidimensional ap...
Carlo Colombo, James L. Crowley
VLDB
2004
ACM
144views Database» more  VLDB 2004»
15 years 10 months ago
Preserving mapping consistency under schema changes
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...
Yannis Velegrakis, Renée J. Miller, Lucian Popa