Sciweavers

3212 search results - page 286 / 643
» Faster Concept Analysis
Sort
View
PIMRC
2008
IEEE
16 years 1 months ago
Adaptive relay selection in cooperative wireless networks
—The concept of cooperative relaying promises gains in robustness and energy-efficiency in wireless networks. Although protocols for cooperative relay selection were proposed re...
Helmut Adam, Christian Bettstetter, Sidi-Mohammed ...
SAMT
2007
Springer
211views Multimedia» more  SAMT 2007»
16 years 24 days ago
An Architecture for Mining Resources Complementary to Audio-Visual Streams
Abstract. In this paper we attempt to characterize resources of information complementary to audio-visual (A/V) streams and propose their usage for enriching A/V data with semantic...
Jan Nemrava, Paul Buitelaar, Thierry Declerck, Voj...
COMPSAC
2006
IEEE
16 years 22 days ago
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
Yonggang Zhang, Juergen Rilling, Volker Haarslev
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
16 years 5 days ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies
ATAL
2004
Springer
16 years 2 days ago
Issues in Multiagent System Development
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-...