602 search results - page 29 / 121 » Efficient Model Checking of Applications with Input Output |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
KES
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, the Fuzzy Min-Max (FMM) neural network along with two modified FMM models are used for tackling medical diagnostic problems. The original FMM network establishes hyp...
BMCBI
2004
13 years 7 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
ICCPOL
2009
Springer
13 years 5 months ago
2009
Springer
Conditional random fields (CRFs) have been quite successful in various machine learning tasks. However, as larger and larger data become acceptable for the current computational ma...