Sciweavers

2381 search results - page 311 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
CADE
2011
Springer
14 years 1 months ago
Static Analysis of Android Programs
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
Étienne Payet, Fausto Spoto
DATE
2004
IEEE
152views Hardware» more  DATE 2004»
15 years 5 months ago
A Design Methodology for the Exploitation of High Level Communication Synthesis
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
Francesco Bruschi, Massimo Bombana
ARTMED
2005
92views more  ARTMED 2005»
15 years 1 months ago
Temporal reasoning for decision support in medicine
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
Juan Carlos Augusto
ICIP
2006
IEEE
16 years 3 months ago
Adaptive Region-Based Compression of Multispectral Images
The region-based description of multispectral images enables important high-level tasks such as data mining and retrieval, and region-of-interest selection. In order to obtain an ...
Marco Cagnazzo, Raffaele Gaetano, Sara Parrilli, L...
ICIP
2005
IEEE
16 years 3 months ago
A genetic algorithm-based approach to knowledge-assisted video analysis
Efficient video content management and exploitation requires extraction of the underlying semantics, a non-trivial task associating low-level features of the image domain and high...
Frédéric Precioso, Ioannis Kompatsia...