Sciweavers

4719 search results - page 477 / 944
» Applications = Components GLoo
Sort
View
DEXA
2007
Springer
115views Database» more  DEXA 2007»
16 years 11 days ago
Ontology Modularization for Knowledge Selection: Experiments and Evaluations
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
Mathieu d'Aquin, Anne Schlicht, Heiner Stuckenschm...
VMCAI
2007
Springer
16 years 9 days ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
ICMCS
2006
IEEE
136views Multimedia» more  ICMCS 2006»
16 years 7 days ago
A Fast Video Motion Estimation Algorithm for the H.264 Standard
Video applications are becoming an essential component for mobile devices. H.264, the latest video-coding standard, shows significant potential in terms of bandwidth savings at th...
Panos Nasiopoulos, Matthias von dem Knesebeck
ICPADS
2006
IEEE
16 years 7 days ago
Flexible, Low-overhead Event Logging to Support Resource Scheduling
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
Jan Stoess, Volkmar Uhlig
WECWIS
2006
IEEE
106views ECommerce» more  WECWIS 2006»
16 years 6 days ago
Transactions in Distributed Event-Based Middleware
Distributed event-based middleware (DEBM) provides a basis for the interoperation of autonomous components in large-scale systems. Transactions ensure the atomic and reliable exec...
Luis Vargas, Jean Bacon, Ken Moody