2042 search results - page 291 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
165
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
104
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. This paper investigates and characterizes sources of variability in MEG signals in multi-site, multi-subject studies. Understanding these sources will help to develop eff...
156
Voted
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
134
click to vote
JCP
2007
15 years 4 months ago
2007
– A prototype Internet Research Support System is presented based on earlier work on the modeling of online reading behavior and evaluating the reading process and its outcomes. ...
131
click to vote
CC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...