4211 search results - page 705 / 843 » Types as Abstract Interpretations |
126
click to vote
PATAT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
131
click to vote
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...
127
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
138
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
134
click to vote
PROMAS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....