Sciweavers

953 search results - page 41 / 191
» A note on the paper
Sort
View
HPCN
1999
Springer
13 years 12 months ago
GeoFEM: High Performance Parallel FEM for Solid Earth
hima and I. Fujishiro, "Measuring volumetric coherence," In ACM SIGGRAPH98 Conference Abstracts and Applications, p.260, July 1998. 1999 K.Garatani, H.Nakamura, H.Okuda a...
Kazuteru Garatani, Hisashi Nakamura, Hiroshi Okuda...
ICASSP
2008
IEEE
14 years 2 months ago
Onset detection in pitched non-percussive music using warping-compensated correlation
Automatically extracting temporal information from musical recordings is inarguably one of the most critical subtasks of many music information retrieval systems. In this paper we...
Olaf Schleusing, Bingjun Zhang, Ye Wang
CADE
2007
Springer
14 years 8 months ago
System for Automated Deduction (SAD): A Tool for Proof Verification
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
Konstantin Verchinine, Alexander V. Lyaletski, And...
KES
2007
Springer
14 years 1 months ago
Time Discretisation Applied to Anomaly Detection in a Marine Engine
This paper introduces the problems associated with anomaly detection in a marine engine, and explains the benefits that the SAX representation brings to the field. Despite limita...
Ian Morgan, Honghai Liu, George Turnbull, David J....
SIGMOD
2005
ACM
128views Database» more  SIGMOD 2005»
14 years 1 months ago
Event processing with an oracle database
In this paper, we examine how active database technology developed over the past few years has been put to use to solve real world problems. We note how the technology had to be e...
Bob Thome, Dieter Gawlick, Maria Pratt