5196 search results - page 154 / 1040 » State of Application Assessment |
152
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This work presents a distributed method for control centers in a power network to estimate the operating condition of the power plant, and to ultimately determine the occurrence o...
108
Voted
JUCS
2007
15 years 3 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
129
Voted
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
We propose a method for recursive segmentation of the left ventricle (LV) across a temporal sequence of magnetic resonance (MR) images. The approach involves a technique for learn...
147
Voted
AAAI
2007
15 years 6 months ago
2007
In recent years, there has been substantial research on exploring how AI can contribute to Human-Computer Interaction by enabling an interface to understand a user’s needs and a...
115
Voted
JCC
2007
15 years 3 months ago
2007
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...