3557 search results - page 614 / 712 » Authoring Presentation for OpenMath |
103
Voted
RTAS
1999
IEEE
15 years 5 months ago
1999
IEEE
Unique challenges are present when one tries to build distributed real-time applications using standard o -the-shelf systems which are in common use but are not necessarily design...
113
Voted
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
133
click to vote
ITS
1998
Springer
15 years 5 months ago
1998
Springer
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
111
click to vote
ICDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
Connection Admission Control (CAC) is needed in ATM networks to provide Quality of Service (QoS) guarantees to real-time connections. This paper presents a CAC scheme based on a b...
111
Voted
AGENTS
1997
Springer
15 years 5 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...