Sciweavers

2335 search results - page 259 / 467
» Type Checking Type Classes
Sort
View
CIDR
2007
111views Algorithms» more  CIDR 2007»
15 years 2 months ago
The Case for a Signal-Oriented Data Stream Management System
Sensors capable of sensing phenomena at high data rates—on the order of tens to hundreds of thousands of samples per second—are useful in many industrial, civil engineering, s...
Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost...
89
Voted
LREC
2010
193views Education» more  LREC 2010»
15 years 2 months ago
DiSCo - A German Evaluation Corpus for Challenging Problems in the Broadcast Domain
Typical broadcast material contains not only studio-recorded texts read by trained speakers, but also spontaneous and dialect speech, debates with cross-talk, voice-overs, and on-...
Doris Baum, Daniel Schneider, Rolf Bardeli, Jochen...
NIPS
2008
15 years 2 months ago
Beyond Novelty Detection: Incongruent Events, when General and Specific Classifiers Disagree
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
Daphna Weinshall, Hynek Hermansky, Alon Zweig, Jie...
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 23 days ago
A New Framework for Join Product Skew
Different types of data skewness can result in load imbalance in the context of parallel joins under the shared nothing architecture. We study one important type of skewness, join ...
Foto N. Afrati, Victor Kyritsis, Paraskevas V. Lek...
IJBRA
2008
88views more  IJBRA 2008»
15 years 20 days ago
GOSAP: Gene Ontology-Based Semantic Alignment of Biological Pathways
A large number of biological pathways have been assembled in later years, and are being stored in databases. Hence, the need for methods to analyse these pathways has emerged. One ...
Jonas Gamalielsson, Björn Olsson