2864 search results - page 341 / 573 » Geo Linked Data |
114
click to vote
WSCG
2001
15 years 6 months ago
2001
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...
151
Voted
RIAO
2000
15 years 6 months ago
2000
We present sppc, a high-performance system for intelligent text extraction and navigation from German free text documents. sppc consists of a set of domainindependent shallow core...
135
Voted
WSC
1998
15 years 6 months ago
1998
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
148
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
148
Voted
GISCIENCE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Closed, watertight, 3D geometries are represented by polyhedra. Current data models define these polyhedra basically as a set of polygons, leaving the test on intersectin...