Sciweavers

4218 search results - page 409 / 844
» Complete sets of cooperations
Sort
View
SIGMOD
1999
ACM
87views Database» more  SIGMOD 1999»
15 years 12 months ago
On Random Sampling over Joins
A major bottleneck in implementing sampling as a primitive relational operation is the ine ciency ofsampling the output of a query. It is not even known whether it is possible to ...
Surajit Chaudhuri, Rajeev Motwani, Vivek R. Narasa...
ICCAD
1997
IEEE
129views Hardware» more  ICCAD 1997»
15 years 12 months ago
A fast and robust exact algorithm for face embedding
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
Evguenii I. Goldberg, Tiziano Villa, Robert K. Bra...
SIGGRAPH
1996
ACM
15 years 11 months ago
The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
Li-wei He, Michael F. Cohen, David Salesin
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 11 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
ICDM
2007
IEEE
151views Data Mining» more  ICDM 2007»
15 years 11 months ago
Combining Collective Classification and Link Prediction
The problems of object classification (labeling the nodes of a graph) and link prediction (predicting the links in a graph) have been largely studied independently. Commonly, obje...
Mustafa Bilgic, Galileo Namata, Lise Getoor