Sciweavers

2625 search results - page 312 / 525
» Applications 2000
Sort
View
EXPERT
2000
75views more  EXPERT 2000»
15 years 6 months ago
Integrating Robotics Research with Undergraduate Education
The field of robotics moves so quickly and encompasses such a wide range of disciplines and applications that education in robotics must be adaptive and incorporate a multidiscipl...
Bruce A. Maxwell, Lisa Meeden
FAC
2000
124views more  FAC 2000»
15 years 6 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
GEOINFORMATICA
2000
99views more  GEOINFORMATICA 2000»
15 years 6 months ago
GIS Software for Measuring Space-Time Accessibility in Transportation Planning and Analysis
: Transportation systems exist to improve individual accessibility. However, emerging applications of GIS in transportation (GIS-T) and intelligent transportation system (ITS) focu...
Harvey J. Miller, Yi-Hwa Wu
IJMMS
2000
76views more  IJMMS 2000»
15 years 6 months ago
On the notion of interestingness in automated mathematical discovery
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
Simon Colton, Alan Bundy, Toby Walsh
IJPRAI
2000
108views more  IJPRAI 2000»
15 years 6 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...