4592 search results - page 326 / 919 » Framework for Studying Substitution |
206
Voted
ESWS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We outline a framework for managing information quality (IQ) in eScience, using ontologies, semantic annotation of resources, and data bindings. Scientists define the qua...
206
click to vote
ICISP
2010
Springer
15 years 11 months ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
201
Voted
ESAW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
190
click to vote
FOSSACS
2000
Springer
15 years 11 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
187
click to vote
AGP
1995
IEEE
15 years 11 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...