851 search results - page 75 / 171 » History Effects and Verification |
131
click to vote
JCDL
2003
ACM
15 years 7 months ago
2003
ACM
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...
119
click to vote
SSDBM
2002
IEEE
15 years 6 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
122
Voted
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
119
click to vote
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
A new mobile robot localization technique is presented which uses multiple Gaussian hypotheses to represent the probability distribution of the robots location in the environment....
110
click to vote
FLAIRS
2007
15 years 4 months ago
2007
Recent research in reading comprehension supports the hypothesis that readers are aided by textual cohesion. Traditional readability formulas are not able to effectively assess le...