Sciweavers

1652 search results - page 178 / 331
» Integration in Real PCF
Sort
View
INFORMATICALT
1998
84views more  INFORMATICALT 1998»
15 years 4 months ago
Preprocessing of Folk Song Acoustic Records for Transcription into Music Scores
This paper describes a preliminary algorithm performing the mapping of sound to music score. Our procedure is constructed over signal-extracted energy and fundamental frequency tra...
Gailius Raskinis
110
Voted
JUCS
2002
79views more  JUCS 2002»
15 years 4 months ago
Some Notes on Fine Computability
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
Vasco Brattka
TMI
2002
146views more  TMI 2002»
15 years 4 months ago
Feature-Guided Shape-Based Image Interpolation
Abstract--A feature-guided image interpolation scheme is presented. It is an effective and improved, shape-based interpolation method used for interpolating image slices in medical...
Tong-Yee Lee, Chao-Hung Lin
PVLDB
2008
138views more  PVLDB 2008»
15 years 4 months ago
Authenticating the query results of text search engines
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...
HweeHwa Pang, Kyriakos Mouratidis
121
Voted
IEAAIE
2010
Springer
15 years 3 months ago
Temporal Bounded Planner Agent for Dynamic Industrial Environments
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
Juan Francisco de Paz, Martí Navarro, Sara ...