26354 search results - page 312 / 5271 » How we refactor, and how we know it |
163
Voted
GIS
1998
ACM
15 years 6 months ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...
210
click to vote
JAR
2010
15 years 5 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
168
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
169
Voted
ACL
2007
15 years 8 months ago
2007
We describe the semantic enrichment of journal articles with chemical structures and biomedical ontology terms using Oscar, a program for chemical named entity recognition (NER). ...
150
click to vote
COLING
2008
15 years 8 months ago
2008
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...