1364 search results - page 223 / 273 » Comparative Branching-Time Semantics |
126
Voted
AIME
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We report on the design of a system for correcting spelling errors resulting in non-existent words. The system aims at improving edition of medical reports. Unlike tradit...
185
Voted
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
Word segmentation is the first and obligatory task for every NLP. For inflectional languages like English, French, Dutch,.. their word boundaries are simply assumed to be whitespa...
156
Voted
ICNP
2000
IEEE
15 years 8 months ago
2000
IEEE
Today’s universal communications increasingly involve mobile and battery-powered devices (e.g. hand-held, laptop) over wired and wireless networks. Energy efficiency, as well as...
195
Voted
MM
2000
ACM
15 years 8 months ago
2000
ACM
The purpose of this paper is to show how the edge histogram descriptor for MPEG-7 can be efficiently utilized for image matching. Since the edge histogram descriptor recommended f...
113
Voted
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...