Sciweavers

2763 search results - page 366 / 553
» The Dangerous 'All' in Specifications
Sort
View
JMLR
2010
157views more  JMLR 2010»
15 years 1 months ago
Causality Challenge: Benchmarking relevant signal components for effective monitoring and process control
A complex modern manufacturing process is normally under consistent surveillance via the monitoring of signals/variables collected from sensors. However, not all of these signals ...
Michael McCann, Yuhua Li, Liam P. Maguire, Adrian ...
JMLR
2010
145views more  JMLR 2010»
15 years 1 months ago
Event based text mining for integrated network construction
The scientific literature is a rich and challenging data source for research in systems biology, providing numerous interactions between biological entities. Text mining technique...
Yvan Saeys, Sofie Van Landeghem, Yves Van de Peer
PAMI
2010
225views more  PAMI 2010»
15 years 1 months ago
Semi-Supervised Classification via Local Spline Regression
Abstract--This paper presents local spline regression for semisupervised classification. The core idea in our approach is to introduce splines developed in Sobolev space to map the...
Shiming Xiang, Feiping Nie, Changshui Zhang
SIGOPS
2010
105views more  SIGOPS 2010»
15 years 1 months ago
SelfTalk for Dena: query language and runtime support for evaluating system behavior
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...
Saeed Ghanbari, Gokul Soundararajan, Cristiana Amz...
TC
2010
15 years 1 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...