3536 search results - page 262 / 708 » Local dependent components |
176
click to vote
FORMATS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
187
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
202
click to vote
ISNN
2007
Springer
16 years 22 days ago
2007
Springer
Nonnegative Matrix and Tensor Factorization (NMF/NTF) and Sparse Component Analysis (SCA) have already found many potential applications, especially in multi-way Blind Source Separ...
169
click to vote
LTCONF
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
130
click to vote
ISSTA
2006
ACM
16 years 16 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...