Sciweavers

448 search results - page 34 / 90
» Who is in Control
Sort
View
FDL
2007
IEEE
15 years 10 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
ICNS
2006
IEEE
15 years 10 months ago
Service Level Agreement Management with Adaptive Coordination
Service Level Agreement Management in the telecommunications domain consists of a set of mechanisms for provisioning and monitoring services according to requirements given by eit...
Dominic A. P. Greenwood, Giosuè Vitaglione,...
ICML
2006
IEEE
15 years 10 months ago
Automatic basis function construction for approximate dynamic programming and reinforcement learning
We address the problem of automatically constructing basis functions for linear approximation of the value function of a Markov Decision Process (MDP). Our work builds on results ...
Philipp W. Keller, Shie Mannor, Doina Precup
101
Voted
AIED
2005
Springer
15 years 9 months ago
EarthTutor: A Multi-Layered Approach to ITS Authoring
This paper presents the EarthTutor authoring tool, a multi-layered system designed to remove the technical hurdles preventing teachers from having full control over the structure o...
Kristen Parton, Aaron Bell, Sowmya Ramachandran
SG
2005
Springer
15 years 9 months ago
Xface: Open Source Toolkit for Creating 3D Faces of an Embodied Conversational Agent
Abstract. Xface, the new version of our open source, platform independent toolkit for developing 3D embodied conversational agents is presented. The toolkit currently incorporates ...
Koray Balci