3082 search results - page 252 / 617 » Deviation Analysis: A New Use of Model Checking |
191
click to vote
PASTE
2005
ACM
16 years 3 days ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
181
click to vote
BIBE
2007
IEEE
16 years 27 days ago
2007
IEEE
—A computational framework is presented for surface based morphometry to localize shape changes between groups of 3D objects. It employs the spherical harmonic (SPHARM) method fo...
139
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
Financial fluctuations play a key role for financial markets studies. A new approach focusing on properties of return intervals can help to get better understanding of the fluct...
179
click to vote
NN
2007
Springer
16 years 20 days ago
2007
Springer
The signature of neuronal assemblies is the higher-order correlation structure of the spiking activity of the participating neurons. Due to the rapid progress in recording technol...
191
click to vote
SMI
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a new way to model clothing worn by articulated implicit characters. A scalar field is produced using ellipsoids as primitives. Isosurfaces are then used to pl...