Sciweavers

5200 search results - page 378 / 1040
» Symbolic models for control systems
Sort
View
FLAIRS
2004
15 years 8 months ago
A Dialogue-Based Tutoring System for Beginning Programming
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
H. Chad Lane, Kurt VanLehn
AUTOMATICA
2007
152views more  AUTOMATICA 2007»
15 years 7 months ago
Analysis of undercompensation and overcompensation of friction in 1DOF mechanical systems
This paper investigates the effects of undercompensation and overcompensation of friction in PD controlled 1DOF mechanical systems. The friction force that is acting on the mechan...
Devi Putra, Henk Nijmeijer, Nathan van de Wouw
ECRTS
2007
IEEE
16 years 1 months ago
Thermal Faults Modeling Using a RC Model with an Application to Web Farms
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
Alexandre P. Ferreira, Daniel Mossé, Jae C....
RTSS
2007
IEEE
16 years 1 months ago
Toward the Predictable Integration of Real-Time COTS Based Systems
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
Rodolfo Pellizzoni, Marco Caccamo
HASE
2008
IEEE
16 years 1 months ago
Low Cost Secure Computation for the General Client-Server Computation Model
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
Liangliang Xiao, I-Ling Yen, Farokh B. Bastani