Sciweavers

2569 search results - page 112 / 514
» Approximate Objects and Approximate Theories
Sort
View
IVC
2006
146views more  IVC 2006»
15 years 6 months ago
Reconfigurable omnidirectional camera array calibration with a linear moving object
Reconfigurable omnidirectional camera arrays are useful for applications where multiple cameras working together are to be deployed at a short notice. This paper proposes a multi-...
Tarak Gandhi, Mohan M. Trivedi
STOC
2006
ACM
180views Algorithms» more  STOC 2006»
16 years 6 months ago
Pricing for fairness: distributed resource allocation for multiple objectives
In this paper, we present a simple distributed algorithm for resource allocation which simultaneously approximates the optimum value for a large class of objective functions. In p...
Sung-woo Cho, Ashish Goel
ECOOP
2009
Springer
16 years 7 months ago
Coinductive Type Systems for Object-Oriented Languages
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
Davide Ancona, Giovanni Lagorio
ACM
1995
15 years 10 months ago
Rough Sets
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
Zdzislaw Pawlak
BMVC
2010
15 years 4 months ago
Active 3D Segmentation through Fixation of Previously Unseen Objects
We present an approach for active segmentation based on integration of several cues. It serves as a framework for generation of object hypotheses of previously unseen objects in n...
Mårten Björkman, Danica Kragic