Sciweavers

7825 search results - page 91 / 1565
» Physics
Sort
View
102
Voted
AIED
2005
Springer
15 years 9 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 9 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
129
Voted
ISPD
2004
ACM
120views Hardware» more  ISPD 2004»
15 years 9 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
119
Voted
PATMOS
2004
Springer
15 years 9 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...
114
Voted
PATMOS
2004
Springer
15 years 9 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...