Sciweavers

906 search results - page 152 / 182
» Chain Dominated Orders
Sort
View
ECAI
2010
Springer
14 years 10 months ago
Local search algorithms on the Stable Marriage Problem: Experimental Studies
The stable marriage problem (SM) has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more general...
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...
ACL
2011
14 years 3 months ago
Disentangling Chat with Local Coherence Models
‡e ev—lu—te sever—l popul—r models of lo™—l dis™ourse ™oheren™e for dom—in —nd t—sk genE er—lity ˜y —pplying them to ™h—t disent—ngleE mentF …sing experiments ...
Micha Elsner, Eugene Charniak
EMNLP
2007
15 years 1 months ago
Finding Good Sequential Model Structures using Output Transformations
In Sequential Viterbi Models, such as HMMs, MEMMs, and Linear Chain CRFs, the type of patterns over output sequences that can be learned by the model depend directly on the modelâ...
Edward Loper
CSL
2010
Springer
15 years 28 days ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
BMCBI
2006
105views more  BMCBI 2006»
14 years 12 months ago
CRNPRED: highly accurate prediction of one-dimensional protein structures by large-scale critical random networks
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...
Akira R. Kinjo, Ken Nishikawa