Sciweavers

3864 search results - page 611 / 773
» time 2005
Sort
View
MIDDLEWARE
2005
Springer
15 years 10 months ago
Middleware for protocol-based coordination in dynamic networks
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
Kurt Schelfthout, Danny Weyns, Tom Holvoet
MKM
2005
Springer
15 years 10 months ago
Assisted Proof Document Authoring
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
David Aspinall, Christoph Lüth, Burkhart Wolf...
MYCRYPT
2005
Springer
189views Cryptology» more  MYCRYPT 2005»
15 years 10 months ago
An Analysis of Double Base Number Systems and a Sublinear Scalar Multiplication Algorithm
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = kˆ i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤   c + o(1) ¡ log n log log n ....
Mathieu Ciet, Francesco Sica
NIME
2005
Springer
100views Music» more  NIME 2005»
15 years 10 months ago
Frequency Content of Breath Pressure and Implications for Use in Control
The breath pressure signal applied to wind music instruments is generally considered to be a slowly varying function of time. In a context of music control, this assumption implie...
Gary P. Scavone, Andrey R. da Silva
NLDB
2005
Springer
15 years 10 months ago
Web Directory Construction Using Lexical Chains
Web Directories provide a way of locating relevant information on the Web. Typically, Web Directories rely on humans putting in significant time and effort into finding important p...
Sofia Stamou, Vlassis Krikos, Pavlos Kokosis, Alex...