3260 search results - page 422 / 652 » Lightweight linked data |
132
click to vote
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...
143
click to vote
CADE
2010
Springer
15 years 5 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...
142
click to vote
GISCIENCE
2008
Springer
15 years 5 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...
130
click to vote
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
Cognitive trait model (CTM) is a student model that aims to create profiles of learners’ cognitive traits. Divergent associative learning (DAL) denotes the characteristic of lea...
152
click to vote
AES
2007
Springer
15 years 4 months ago
2007
Springer
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...