2291 search results - page 394 / 459 » Representational Reasoning and Verification |
151
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
180
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
152
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
146
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...
163
Voted
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...