1124 search results - page 40 / 225 » Refined quorum systems |
103
click to vote
COLING
2000
15 years 3 months ago
2000
This paper proposes a new unsupervised learning method for obtaining English part-ofspecch(POS) disambiguation rules which would improve thc accuracy of a POS tagger. This method ...
133
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Reliable acoustic-phonetic (AP) information derived from the speech signal can be used to detect and correct errors in the output of a phone recognizer. In this paper, limited aco...
104
click to vote
W2GIS
2005
Springer
15 years 7 months ago
2005
Springer
In pedestrian navigation, navigators are free to choose any passable way. Because of this characteristic, accurate route instructions are important when navigating from waypoint to...
144
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
126
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...