Sciweavers

1295 search results - page 257 / 259
» Palimpsests of Time and Place
Sort
View
JAR
2007
104views more  JAR 2007»
13 years 8 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
CAD
2005
Springer
13 years 8 months ago
Bayesian computer-aided experimental design of heterogeneous scaffolds for tissue engineering
This paper presents a Bayesian methodology for computer-aided experimental design of heterogeneous scaffolds for tissue engineering applications. These heterogeneous scaffolds hav...
Lee E. Weiss, Cristina H. Amon, Susan Finger, Eric...
JFR
2007
176views more  JFR 2007»
13 years 8 months ago
Two years of Visual Odometry on the Mars Exploration Rovers
NASA’s two Mars Exploration Rovers (MER) have successfully demonstrated a robotic Visual Odometry capability on another world for the first time. This provides each rover with ...
Mark W. Maimone, Yang Cheng, Larry Matthies
JPDC
2007
77views more  JPDC 2007»
13 years 8 months ago
Location-centric storage for safety warning based on roadway sensor networks
We propose a novel vision for roadway safety warning based on sensor networks, aiming at providing user-friendly zero-delay safety warnings to motorists. Our idea leverages the ad...
Kai Xing, Xiuzhen Cheng, Fang Liu, Shmuel Rotenstr...
AI
2004
Springer
13 years 8 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa