107 search results - page 18 / 22 » Demonstration of an Automated Control Synthesis Tool for Man... |
ICWL
2010
Springer
14 years 7 months ago
2010
Springer
Content development for adaptive educational systems is known to be an error-prone task. Gaps can occur when the content is created, modified or when the context of its usage chang...
AI
2008
Springer
14 years 9 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
ICPP
1999
IEEE
15 years 1 months ago
1999
IEEE
A router design for torus networks that significantly reduces message latency over traditional wormhole routers is presented in this paper. This new router implements virtual cut-...