Sciweavers

1652 search results - page 164 / 331
» Integration in Real PCF
Sort
View
ISCC
2002
IEEE
15 years 10 months ago
Test++: an adaptive training system on the Internet
We present an adaptive system for training and teaching. Our system integrates an adaptive training environment and a cooperative environment for exams both accessible via Interne...
Maria Barra, A. Lannaccone, Giuseppina Palmieri, V...
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 10 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...
AISC
2010
Springer
15 years 9 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
PAAMS
2010
Springer
15 years 9 months ago
Comparing Three Computational Models of Affect
In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
Tibor Bosse, Jonathan Gratch, Johan F. Hoorn, Matt...
126
Voted
ICRA
2000
IEEE
62views Robotics» more  ICRA 2000»
15 years 9 months ago
Design and Implementation of a Robot Assisted Crucible Charging System
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...
Vivek A. Sujan, Steven Dubowsky, Yoshiaki Ohkami