5550 search results - page 638 / 1110 » Different Approaches to Proof Systems |
158
click to vote
ACL
1989
15 years 8 months ago
1989
In order to take steps towards establishing a methodology for evaluating Natural Language systems, we conducted a case study. We attempt to evaluate two different approaches to an...
196
click to vote
COLING
1990
15 years 8 months ago
1990
We have designed and implemented a text processing system that can extract important information from hundreds of paragraphs per hour and can be transported within weeks to a new ...
153
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper presents an implementation of a simplified filtering estimator for satellite attitude determination using GPS (Global Positioning System) signals. The non-linear syst...
221
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Most approaches to application integration require an unambiguous exchange of events. Ontologies can be used to annotate the events exchanged and thus ensure a common und...
194
click to vote
IJIIDS
2008
15 years 7 months ago
2008
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...