8587 search results - page 1481 / 1718 » Interactive dynamic abstraction |
160
Voted
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
139
Voted
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes the 2007 meeting speech-to-text system for lecture rooms developed at the Interactive Systems Laboratories (ISL), for the multiple distant microphone...
116
Voted
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents two approaches to the problem of simultaneous tracking of several people in low resolution sequences from multiple calibrated cameras. Spatial redunda...
131
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
125
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...