Sciweavers

1092 search results - page 143 / 219
» Polynomial Interpretations and the Complexity of Algorithms
Sort
View
KI
2006
Springer
15 years 6 months ago
A New n-ary Existential Quantifier in Description Logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
PC
2000
93views Management» more  PC 2000»
15 years 6 months ago
Scheduling outtrees of height one in the LogP model
The LogP model is a model of parallel computation that characterises a parallel computer system by four parameters: the latency L, the overhead o, the gap g and the number of proc...
Jacques Verriet
EMNLP
2009
15 years 4 months ago
Better Synchronous Binarization for Machine Translation
Binarization of Synchronous Context Free Grammars (SCFG) is essential for achieving polynomial time complexity of decoding for SCFG parsing based machine translation systems. In t...
Tong Xiao, Mu Li, Dongdong Zhang, Jingbo Zhu, Ming...
ICMLA
2008
15 years 7 months ago
Comprehensible Models for Predicting Molecular Interaction with Heart-Regulating Genes
When using machine learning for in silico modeling, the goal is normally to obtain highly accurate predictive models. Often, however, models should also bring insights into intere...
Cecilia Sönströd, Ulf Johansson, Ulf Nor...
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
15 years 8 months ago
Constraint Logic: A Uniform Framework for Modeling Computation as Games
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
Erik D. Demaine, Robert A. Hearn