5718 search results - page 950 / 1144 » Modeling Rule Precision |
169
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
202
Voted
DBPL
1991
Springer
15 years 10 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
168
Voted
PARLE
1991
15 years 10 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
210
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Depth-map merging is one typical technique category for multi-view stereo (MVS) reconstruction. To guarantee accuracy, existing algorithms usually require either sub-pixel level s...
199
Voted
AAAI
2007
15 years 9 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...