Sciweavers

9572 search results - page 92 / 1915
» Cover Algorithms and Their Combination
Sort
View
SEMWEB
2005
Springer
15 years 5 months ago
Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
Herman J. ter Horst
AMOST
2007
ACM
15 years 3 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
TACAS
2009
Springer
79views Algorithms» more  TACAS 2009»
15 years 6 months ago
Symbolic String Verification: Combining String Analysis and Size Analysis
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
STOC
2000
ACM
73views Algorithms» more  STOC 2000»
15 years 4 months ago
Combining fairness with throughput: online routing with multiple objectives
Ashish Goel, Adam Meyerson, Serge A. Plotkin
CP
2003
Springer
15 years 5 months ago
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions
Abstract. Combinatorial auctions are an important e-commerce application where bidders can bid on combinations of items. The problem of selecting the best bids that cover all items...
Alessio Guerri, Michela Milano