Sciweavers

3954 search results - page 439 / 791
» Image-based Model Completion
Sort
View
SEMWEB
2005
Springer
15 years 10 months ago
Containment and Minimization of RDF/S Query Patterns
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
Giorgos Serfiotis, Ioanna Koffina, Vassilis Christ...
WEA
2005
Springer
91views Algorithms» more  WEA 2005»
15 years 10 months ago
The Necessity of Timekeeping in Adversarial Queueing
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
Maik Weinard
AISC
2004
Springer
15 years 10 months ago
Proof Search in Minimal Logic
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
Helmut Schwichtenberg
BIRTHDAY
2004
Springer
15 years 10 months ago
Splicing to the Limit
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
Elizabeth Goode, Dennis Pixton
122
Voted
IBERAMIA
2004
Springer
15 years 10 months ago
A Case Base Seeding for Case-Based Planning Systems
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
Flavio Tonidandel, Marcio Rillo