8437 search results - page 1441 / 1688 » Preferences over Sets |
195
click to vote
LSSC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
198
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
178
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
172
click to vote
TAMC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
144
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...