Sciweavers

3507 search results - page 519 / 702
» Slicing for architectural analysis
Sort
View
JOT
2006
113views more  JOT 2006»
15 years 7 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
SIVP
2008
127views more  SIVP 2008»
15 years 7 months ago
Image indexing and retrieval using expressive fuzzy description logics
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
Nikos Simou, Thanos Athanasiadis, Giorgos Stoilos,...
JIB
2007
91views more  JIB 2007»
15 years 7 months ago
IMS2 - An integrated medical software system for early lung cancer detection using ion mobility spectrometry data of human breat
IMS2 is an Integrated Medical Software system for the analysis of Ion Mobility Spectrometry (IMS) data. It assists medical staff with the following IMS data processing steps: acqu...
Jan Baumbach, Alexander Bunkowski, Sita Lange, Tim...
COMCOM
2002
120views more  COMCOM 2002»
15 years 7 months ago
An interactive video delivery and caching system using video summarization
With the advance of high-speed network technologies, the availability and popularity of streaming media content over the Internet has grown rapidly in recent years. The delivery a...
Sung-Ju Lee, Wei-Ying Ma, Bo Shen
JAR
2000
123views more  JAR 2000»
15 years 7 months ago
Local Search Algorithms for SAT: An Empirical Evaluation
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
Holger H. Hoos, Thomas Stützle