2482 search results - page 320 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
105
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
89
Voted
LREC
2010
15 years 3 months ago
2010
Evaluating complex Natural Language Processing (NLP) systems can prove extremely difficult. In many cases, the best one can do is to evaluate these systems indirectly, by looking ...
132
click to vote
MABS
2005
Springer
15 years 7 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
108
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
124
click to vote
UM
2005
Springer
15 years 7 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...