Sciweavers

3172 search results - page 415 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
ACL
1997
15 years 8 months ago
Co-evolution of Language and of the Language Acquisition Device
A new account of parameter setting during grammatical acquisition is presented in terms of Generalized Categorial Grammar embedded in a default inheritance hierarchy, providing a ...
Ted Briscoe
BMCBI
2006
203views more  BMCBI 2006»
15 years 6 months ago
Genome-wide prediction of transcriptional regulatory elements of human promoters using gene expression and promoter analysis dat
Background: A complete understanding of the regulatory mechanisms of gene expression is the next important issue of genomics. Many bioinformaticians have developed methods and alg...
Seon-Young Kim, YongSung Kim
ICCAD
1997
IEEE
129views Hardware» more  ICCAD 1997»
15 years 10 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...
186
Voted
SIGGRAPH
1996
ACM
15 years 10 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 10 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