Sciweavers

1268 search results - page 117 / 254
» One Logic to Use Them All
Sort
View
89
Voted
ACCV
2006
Springer
15 years 6 months ago
Theory and Calibration for Axial Cameras
Although most works in computer vision use perspective or other central cameras, the interest in non-central camera models has increased lately, especially with respect to omnidire...
Srikumar Ramalingam, Peter F. Sturm, Suresh K. Lod...
114
Voted
SAT
2004
Springer
73views Hardware» more  SAT 2004»
15 years 6 months ago
A SAT Based Scheduler for Tournament Schedules
We present a scheduler with a web interface for generating fair game schedules of a tournament. The tournament can be either single or double round-robin or something in between. T...
Hantao Zhang, Dapeng Li, Haiou Shen
102
Voted
PLDI
2012
ACM
13 years 3 months ago
Chimera: hybrid program analysis for determinism
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish N...
117
Voted
ACNS
2010
Springer
172views Cryptology» more  ACNS 2010»
15 years 4 months ago
Secure Sketch for Multiple Secrets
Secure sketches are useful in extending cryptographic schemes to biometric data since they allow recovery of fuzzy secrets under inevitable noise. In practice, secrets derived from...
Chengfang Fang, Qiming Li, Ee-Chien Chang
97
Voted
CIE
2009
Springer
15 years 7 months ago
Stability under Strategy Switching
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simo...