Sciweavers

605 search results - page 12 / 121
» Normalizers and Split Extensions
Sort
View
JBI
2011
283views Bioinformatics» more  JBI 2011»
14 years 5 months ago
Cross-product extensions of the Gene Ontology
The Gene Ontology is being normalized and extended to include computable logical definitions. These definitions are partitioned into mutually exclusive cross-product sets, many of...
Christopher J. Mungall, Michael Bada, Tanya Z. Ber...
COLING
2010
14 years 5 months ago
Normal-form parsing for Combinatory Categorial Grammars with generalized composition and type-raising
We propose and implement a modification of the Eisner (1996) normal form to account for generalized composition of bounded degree, and an extension to deal with grammatical type-r...
Julia Hockenmaier, Yonatan Bisk
CORR
2010
Springer
38views Education» more  CORR 2010»
14 years 11 months ago
Normalized Range Voting Broadly Resists Control
We study the behavior of Range Voting and Normalized Range Voting with respect to electoral control. Electoral control encompasses attempts from an election chair to alter the str...
Curtis Menton
105
Voted
JELIA
2010
Springer
14 years 9 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
QEST
2006
IEEE
15 years 4 months ago
On Single-Class Load-Dependent Normalizing Constant Equations
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
Giuliano Casale