5904 search results - page 976 / 1181 » Requirements for a Composition Language |
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
KESAMSTA
2007
Springer
14 years 3 months ago
2007
Springer
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...