2534 search results - page 42 / 507 » A Type System for the Push-Enter Model |
UM
2005
Springer
14 years 2 months ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
ECOWS
2009
Springer
14 years 3 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
We pose the problem of recognizing different types of human gait in the space of dynamical systems where each gait is represented. Established techniques are employed to track a k...
PE
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which custom...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...