10289 search results - page 1752 / 2058 » Standard bases in K |
182
click to vote
PCM
2010
Springer
15 years 4 months ago
2010
Springer
The H.264/AVC video coding standard performs inter prediction using variable block sizes to improve coding efficiency. Since we predict not only the motion of the homogeneous regio...
180
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Ontology classification--the computation of subsumption hierarchies for classes and properties--is one of the most important tasks for OWL reasoners. Based on the algorit...
198
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
151
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clin...
268
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...