Sciweavers

3724 search results - page 383 / 745
» Timed regular expressions
Sort
View
VMCAI
2010
Springer
16 years 4 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ICASSP
2009
IEEE
16 years 1 months ago
Microarray classification using block diagonal linear discriminant analysis with embedded feature selection
In this paper, block diagonal linear discriminant analysis (BDLDA) is improved and applied to gene expression data. BDLDA is a classification tool with embedded feature selection...
Lingyan Sheng, Roger Pique-Regi, Shahab Asgharzade...
PIMRC
2008
IEEE
16 years 1 months ago
BER analysis of single-carrier MPAM in the presence of ADC quantization noise
— Noisy radio frequency (RF) circuits tend to degrade the system performance, especially in high frequency communication systems. The performance analysis of such systems is norm...
Umar H. Rizvi, Gerard J. M. Janssen, Jos H. Weber
201
Voted
ICDE
2007
IEEE
145views Database» more  ICDE 2007»
16 years 1 months ago
A Data Model for Moving Objects Supporting Aggregation
Moving objects databases (MOD) have been receiving increasing attention from the database community in recent years, mainly due to the wide variety of applications that technology...
Bart Kuijpers, Alejandro A. Vaisman
HYBRID
2007
Springer
16 years 28 days ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...