Sciweavers

1711 search results - page 85 / 343
» Completing pseudojump operators
Sort
View
DAC
2001
ACM
14 years 9 months ago
Watermarking of SAT using Combinatorial Isolation Lemmas
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility...
Rupak Majumdar, Jennifer L. Wong
STOC
2003
ACM
126views Algorithms» more  STOC 2003»
14 years 8 months ago
A new approach to dynamic all pairs shortest paths
We study novel combinatorial properties of graphs that allow us to devise a completely new approach to dynamic all pairs shortest paths problems. Our approach yields a fully dynam...
Camil Demetrescu, Giuseppe F. Italiano
SIGMOD
2008
ACM
141views Database» more  SIGMOD 2008»
14 years 8 months ago
SGL: a scalable language for data-driven games
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
Robert Albright, Alan J. Demers, Johannes Gehrke, ...
ICIAP
2007
ACM
14 years 8 months ago
D-Calib: Calibration Software for Multiple Cameras System
This paper presents calibration software "D-Calib" for multiple cameras, which can calibrate all cameras at the same time with easy operation. Our calibration method con...
Yuko Uematsu, Tomoaki Teshima, Hideo Saito, Cao Ho...
ICWS
2009
IEEE
14 years 5 months ago
Composing Services for Third-party Service Delivery
This paper proposes a model-based technique for lowering the entrance barrier for service providers to register services with a marketplace broker, such that the service is rapidl...
Ingo Weber, Alistair Barros, Norman May, Jörg...