Sciweavers

7825 search results - page 91 / 1565
» Physics
Sort
View
AIED
2005
Springer
15 years 12 months ago
The Andes Physics Tutoring System: Five Years of Evaluations
Andes is a mature intelligent tutoring system that has helped hundreds of students improve their learning of university physics. It replaces pencil and paper problem solving homewo...
Kurt VanLehn, Collin Lynch, Kay G. Schulze, Joel A...
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
15 years 11 months ago
SimRobot - A General Physical Robot Simulator and Its Application in RoboCup
This paper describes SimRobot, a robot simulator which is able to simulate arbitrary user-defined robots in three-dimensional space. It includes a physical model which is based on...
Tim Laue, Kai Spiess, Thomas Röfer
ISPD
2004
ACM
120views Hardware» more  ISPD 2004»
15 years 11 months ago
On optimal physical synthesis of sleep transistors
Considering the voltage drop constraint over a distributed model for power/ground (P/G) network, we study the following two problems for physical synthesis of sleep transistors: t...
Changbo Long, Jinjun Xiong, Lei He
PATMOS
2004
Springer
15 years 11 months ago
Physical Extension of the Logical Effort Model
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
B. Lasbouygues, Robin Wilson, Philippe Maurine, Na...
PATMOS
2004
Springer
15 years 11 months ago
An Efficient Low-Degree RMST Algorithm for VLSI/ULSI Physical Design
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...
Yin Wang, Xianlong Hong, Tong Jing, Yang Yang, Xia...