3742 search results - page 298 / 749 » On the Use of Formal Techniques for Validation |
140
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we formalize the problem of Basic Graph Pattern (BGP) optimization for SPARQL queries and main memory graph implementations of RDF data. We define and analyze the c...
133
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
182
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
174
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
221
click to vote
ECCV
1994
Springer
15 years 10 months ago
1994
Springer
We present a novel robust methodology for corresponding a dense set of points on an object surface from photometric values, for 3-D stereo computation of depth. We use two stereo p...