3013 search results - page 319 / 603 » Context-Oriented Domain Analysis |
121
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
200
click to vote
ERCIMDL
2004
Springer
16 years 3 days ago
2004
Springer
The paper presents a comparative analysis of data harvesting and distributed computing as complementary models of service delivery within large-scale federated digital libraries. I...
197
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
182
click to vote
GI
2004
Springer
16 years 2 days ago
2004
Springer
: The need for demand-driven and scaleable integration of heterogeneous data sources is inherent to the process of genome annotation. In this paper we describe the Gene-EYe archite...
165
click to vote
ICDAR
2003
IEEE
16 years 1 hour ago
2003
IEEE
In this article we present a study based on the use of texture features for logical pre-labeling. The aim of our work is to calculate a great number of texture features over three...