Sciweavers

2446 search results - page 196 / 490
» Polyadic Concept Analysis
Sort
View
SAMT
2007
Springer
211views Multimedia» more  SAMT 2007»
15 years 11 months 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
15 years 11 months 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»
15 years 10 months 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
15 years 10 months 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-...
ICDAR
2003
IEEE
15 years 10 months ago
String Extraction From Color Airline Coupon Image Using Statistical Approach
A novel technique is presented in this paper to extract strings in color images of both Business Settlement Plan (BSP) and non-BSP airline coupon. The essential concept is to remo...
Yi Li, Zhiyan Wang, Haizan Zeng