8479 search results - page 1295 / 1696 » Data Extraction from Web Data Sources |
117
Voted
ENTCS
2008
15 years 5 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
139
click to vote
ENTCS
2008
15 years 5 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
133
click to vote
IJCPOL
2008
15 years 4 months ago
2008
One of the unique challenges to Chinese Language Processing is cross-strait named entity recognition. Due to the adoption of different transliteration strategies, foreign name tra...
193
Voted
JLP
2008
15 years 4 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
127
click to vote
JIRS
2006
15 years 4 months ago
2006
Abstract. Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. W...