Sciweavers

1583 search results - page 203 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
ICFP
2010
ACM
13 years 9 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
OTM
2010
Springer
13 years 6 months ago
A Semantic Similarity Framework Exploiting Multiple Parts-of Speech
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
Giuseppe Pirrò, Jérôme Euzenat
ICMCS
2009
IEEE
186views Multimedia» more  ICMCS 2009»
13 years 6 months ago
Audio chord labeling by musiological modeling and beat-synchronization
Automatic labeling of chords in original audio recordings is challenging due to heavy acoustic overlay by melody and percussion sections, detuning and arpeggios that demand for a ...
Björn Schuller, Benedikt Hörnler, Dejan ...
WWW
2010
ACM
14 years 3 months ago
Earthquake shakes Twitter users: real-time event detection by social sensors
Twitter, a popular microblogging service, has received much attention recently. An important characteristic of Twitter is its real-time nature. For example, when an earthquake occ...
Takeshi Sakaki, Makoto Okazaki, Yutaka Matsuo
GECCO
2008
Springer
152views Optimization» more  GECCO 2008»
13 years 9 months ago
Combatting financial fraud: a coevolutionary anomaly detection approach
A major difficulty for anomaly detection lies in discovering boundaries between normal and anomalous behavior, due to the deficiency of abnormal samples in the training phase. In...
Shelly Xiaonan Wu, Wolfgang Banzhaf