Sciweavers

1221 search results - page 83 / 245
» Two Consistency Results on Set Mappings
Sort
View
TARK
1998
Springer
15 years 10 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
VRST
1999
ACM
15 years 10 months ago
Navigating through sparse views
This paper presents an image-based walkthrough technique where reference images are sparsely sampled along a path. The technique relies on a simple user interface for rapid modeli...
Shachar Fleishman, Baoquan Chen, Arie E. Kaufman, ...
DAGSTUHL
2007
15 years 7 months ago
Anonymity-Proof Voting Rules
A (randomized, anonymous) voting rule maps any multiset of total orders (aka. votes) over a fixed set of alternatives to a probability distribution over these alternatives. A voti...
Vincent Conitzer
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
15 years 11 months ago
Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
Jason H. Moore, Lance W. Hahn
CVPR
2012
IEEE
13 years 8 months ago
Saliency filters: Contrast based filtering for salient region detection
Saliency estimation has become a valuable tool in image processing. Yet, existing approaches exhibit considerable variation in methodology, and it is often difficult to attribute...
Federico Perazzi, Philipp Krähenbühl, Ya...