3573 search results - page 261 / 715 » Reasoning about Codata |
137
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
118
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...
137
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
138
click to vote
EMISA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
140
click to vote
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...