3365 search results - page 642 / 673 » Digital System Design: Architectures, Methods and Tools |
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
News reports are being produced and disseminated in overwhelming volume, making it difficult to keep up with the newest information. Most previous research in automatic news organ...
140
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
109
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
132
click to vote
CIVR
2010
Springer
14 years 9 months ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
110
click to vote
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...