Sciweavers

1607 search results - page 224 / 322
» The existence of k-radius sequences
Sort
View
ICDCSW
2008
IEEE
14 years 3 months ago
RETROFIT: Reliable Exchanges through Resilient Overlays for Internet Teleoperation
Emergence of successful teleoperation applications requires the convergence of diverse domains like robotics, machine learning, sensing, actuation, control and communication. We e...
Invited Talk Lakshamanan, Raj Rajkumar
ICDM
2008
IEEE
97views Data Mining» more  ICDM 2008»
14 years 3 months ago
OntoDM: An Ontology of Data Mining
Motivated by the need for unification of the field of data mining and the growing demand for formalized representation of outcomes of research, we address the task of constructi...
Pance Panov, Saso Dzeroski, Larisa N. Soldatova
ICMCS
2008
IEEE
184views Multimedia» more  ICMCS 2008»
14 years 3 months ago
Accompaniment separation and karaoke application based on automatic melody transcription
We propose a method for separating accompaniment from polyphonic music and its karaoke application, both based on automatic melody transcription. First, the method transcribes the...
Matti Ryynänen, Tuomas Virtanen, Jouni Paulus...
ICTAI
2008
IEEE
14 years 3 months ago
Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang
IEEEARES
2008
IEEE
14 years 3 months ago
Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
Zhiyao Liang, Rakesh M. Verma