Sciweavers

11808 search results - page 177 / 2362
» Isometries and Computability Structures
Sort
View
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 4 months ago
Correlated Equilibria in Continuous Games: Characterization and Computation
We present several new characterizations of correlated equilibria in games with continuous utility functions. These have the advantage of being more computationally and analytical...
Noah D. Stein, Pablo A. Parrilo, Asuman E. Ozdagla...
BMCBI
2006
84views more  BMCBI 2006»
15 years 4 months ago
Representation of target-bound drugs by computed conformers: implications for conformational libraries
Background: The increasing number of known protein structures provides valuable information about pharmaceutical targets. Drug binding sites are identifiable and suitable lead com...
Stefan Günther, Christian Senger, Elke Michal...
LPAR
2010
Springer
15 years 2 months ago
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
Michael Gabbay, Murdoch James Gabbay
PVLDB
2010
135views more  PVLDB 2010»
14 years 11 months ago
QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning
Skyline queries have gained considerable attention for multicriteria analysis of large-scale datasets. However, the skyline queries are known to return too many results for highdi...
Jongwuk Lee, Seung-won Hwang
NAACL
1994
15 years 6 months ago
Predicting and Managing Spoken Disfluencies During Human-Computer Interaction
This research characterizes the spontaneous spoken disfluencies typical of human-computer interaction, and presents a predictive model accounting for their occurrence. Data were c...
Sharon L. Oviatt