2693 search results - page 374 / 539 » On Computing Complex Navigation Functions |
164
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
148
click to vote
CIE
2005
Springer
15 years 12 months 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...
152
click to vote
ERCIMDL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
197
click to vote
HIPC
2005
Springer
15 years 12 months ago
2005
Springer
Several challenging new applications demand the ability to do data mining on resource constrained devices. One such application is that of monitoring physiological data streams ob...
192
click to vote
PAKDD
2005
ACM
15 years 12 months ago
2005
ACM
The usefulness of the results produced by data mining methods can be critically impaired by several factors such as (1) low quality of data, including errors due to contamination, ...