6770 search results - page 140 / 1354 » How GPUs Work |
ERCIMDL
2007
Springer
14 years 4 months ago
2007
Springer
Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules a...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper proposes a computational method of contact forces working between multibody system and environment in forward dynamics based on both the microbody-deformation model ...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Probably one of the most difficult tasks in the development of a Service Oriented Architecture (SOA) is how to obtain well designed Web Services. In this work, we present...
CIE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
AUSAI
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...