2563 search results - page 376 / 513 » Phenomenology, Representations and Complexity |
171
click to vote
WWW
2005
ACM
16 years 22 days ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
169
click to vote
BIRTHDAY
2005
Springer
16 years 21 days ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
167
click to vote
CIE
2005
Springer
16 years 21 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
228
click to vote
CPM
2005
Springer
16 years 21 days ago
2005
Springer
Permutations on strings representing gene clusters on genomes have been studied earlier in [18, 14, 3, 12, 17] and the idea of a maximal permutation pattern was introduced in [12]....
193
click to vote
EGC
2005
Springer
16 years 21 days ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...