4743 search results - page 137 / 949 » The PlusCal Algorithm Language |
104
click to vote
ICALP
2009
Springer
15 years 6 months ago
2009
Springer
Intuitively, Braess's paradox states that destroying a part of a network may improve the common latency of selfish flows at Nash equilibrium. Such a paradox is a pervasive phe...
121
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
112
Voted
WIA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe an algorithm to deal with automatic error repair over unrestricted context-free languages. The method relies on a regional least-cost repair strategy with val...
114
Voted
NAACL
2007
15 years 4 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
121
click to vote
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
In the Morpho Challenge 2009 unsupervised algorithms that provide morpheme analyses for words in different languages were evaluated in various practical applications. Morpheme ana...