Sciweavers

16218 search results - page 179 / 3244
» Standards
Sort
View
JSCIC
2008
48views more  JSCIC 2008»
15 years 4 months ago
A Level-Set Method for Computing the Eigenvalues of Elliptic Operators Defined on Compact Hypersurfaces
We demonstrate, through separation of variables and estimates from the semiclassical analysis of the Schr
Jeremy Brandman
LISP
2008
70views more  LISP 2008»
15 years 4 months ago
Program transformations for light-weight CPU accounting and control in the Java virtual machine
This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
Jarle Hulaas, Walter Binder
TSP
2008
100views more  TSP 2008»
15 years 4 months ago
Geographic Gossip: Efficient Averaging for Sensor Networks
Gossip algorithms for distributed computation are attractive due to their simplicity, distributed nature, and robustness in noisy and uncertain environments. However, using standa...
Alexandros G. Dimakis, Anand D. Sarwate, Martin J....
CORR
2004
Springer
112views Education» more  CORR 2004»
15 years 4 months ago
Clustering Techniques for Marbles Classification
João Rogério Caldas Pinto, Pedro Pin...
ENTCS
2000
80views more  ENTCS 2000»
15 years 4 months ago
Behavioral and Coinductive Rewriting
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
Joseph A. Goguen, Kai Lin, Grigore Rosu