Sciweavers

4987 search results - page 79 / 998
» Support Ordered Resolution
Sort
View
SIGUCCS
2000
ACM
15 years 2 months ago
Automating Residence Hall Internet Signups
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...
John R. Miller, Tom Peterson
ATAL
2010
Springer
14 years 11 months ago
An architecture for modular distributed simulation with agent-based models
Agent-based simulations are an increasingly popular means of exploring and understanding complex social systems. In order to be useful, these simulations must capture a range of a...
David Scerri, Alexis Drogoul, Sarah L. Hickmott, L...
TAMC
2010
Springer
15 years 2 months ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret
ICCV
1999
IEEE
15 years 11 months ago
Qualitative Probabilities for Image Interpretation
Two basic problems in image interpretation are: a) determining which interpretations are the most plausible amoungst many possibilities; and b) controlling the search for plausibl...
Allan D. Jepson, Richard Mann
ICIP
2010
IEEE
14 years 7 months ago
Plenoptic based super-resolution for omnidirectional image sequences
This paper addresses the reconstruction of high resolution omnidirectional images from a low resolution video acquired by an omnidirectional camera moving in a static scene. In or...
Luigi Bagnato, Yannick Boursier, Pascal Frossard, ...