Sciweavers

2853 search results - page 330 / 571
» On Coherence in Computer Algebra
Sort
View
ACTA
2006
108views more  ACTA 2006»
15 years 4 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
IJSS
2007
77views more  IJSS 2007»
15 years 4 months ago
Network-centric healthcare operations: data warehousing and the associated telecommunications platforms
: With the rapidly escalating costs, the EU and the US make the adoption and application of Information, Computer and Communication Technologies (ICCT) in healthcare (e-health) an ...
Dag Von Lubitz, Frédéric Patricelli
JCP
2007
115views more  JCP 2007»
15 years 4 months ago
Toward The Use Of The Time-Warping Principle With Discrete-Time Sequences
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
Arnaud Jarrot, Cornel Ioana, André Quinquis
CGF
2004
145views more  CGF 2004»
15 years 4 months ago
The State of the Art in Flow Visualization: Dense and Texture-Based Techniques
Flow visualization has been a very attractive component of scientific visualization research for a long time. Usually very large multivariate datasets require processing. These da...
Robert S. Laramee, Helwig Hauser, Helmut Doleisch,...
AICOM
2000
105views more  AICOM 2000»
15 years 4 months ago
Emergence of Vowel Systems Through Self-Organisation
This paper describes a model of the emergence and the universal structural tendencies of vowel systems. Both are considered as the result of self-organisation in a population of l...
Bart de Boer