5550 search results - page 76 / 1110 » Different Approaches to Proof Systems |
160
click to vote
ECRTS
2007
IEEE
16 years 16 days ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...
171
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
178
click to vote
CIVR
2007
Springer
16 years 11 days ago
2007
Springer
We propose a robust scene recognition system for baseball broadcast videos. This system is based on the data-driven approach which has been successful in continuous speech recogni...
179
click to vote
INFSOF
2000
15 years 6 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
141
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we investigate the emergence of communication in competitive multi-agent systems. A competitive environment is created with two teams of agents competing in an explo...