Sciweavers

2748 search results - page 338 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
ER
2004
Springer
90views Database» more  ER 2004»
15 years 10 months ago
Semantic Interpretation and Matching of Web Services
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
Chang Xu, Shing-Chi Cheung, Xiangye Xiao
ECCV
2006
Springer
16 years 6 months ago
Random Walks, Constrained Multiple Hypothesis Testing and Image Enhancement
Image restoration is a keen problem of low level vision. In this paper, we propose a novel - assumption-free on the noise model - technique based on random walks for image enhancem...
Noura Azzabou, Nikos Paragios, Frederic Guichard
CADE
2007
Springer
16 years 4 months ago
Hyper Tableaux with Equality
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
Björn Pelzer, Peter Baumgartner, Ulrich Furba...
SIGMOD
2003
ACM
112views Database» more  SIGMOD 2003»
16 years 4 months ago
A Theory of Redo Recovery
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
David B. Lomet, Mark R. Tuttle
ICCD
2003
IEEE
115views Hardware» more  ICCD 2003»
16 years 1 months ago
Reducing Compilation Time Overhead in Compiled Simulators
Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead ma...
Mehrdad Reshadi, Nikil D. Dutt