Sciweavers

955 search results - page 169 / 191
» Tractable Temporal Reasoning
Sort
View
ATAL
2009
Springer
14 years 2 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
BIBM
2008
IEEE
108views Bioinformatics» more  BIBM 2008»
14 years 2 months ago
Systematic Evaluation of Scaling Methods for Gene Expression Data
Even after an experimentally prepared gene expression data set has been pre-processed to account for variations in the microarray technology, there may be inconsistencies between ...
Gaurav Pandey, Lakshmi Naarayanan Ramakrishnan, Mi...
ICASSP
2008
IEEE
14 years 2 months ago
Functional semi-automated segmentation of renal DCE-MRI sequences
In dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI), segmentation of internal kidney structures like cortex, medulla and pelvo-caliceal cavities is necessary for fun...
Beatrice Chevaillier, Yannick Ponvianne, Jean-Luc ...
INFOCOM
2008
IEEE
14 years 2 months ago
Attack-Tolerant Time-Synchronization in Wireless Sensor Networks
—Achieving secure time-synchronization in wireless sensor networks (WSNs) is a challenging, but very important problem that has not yet been addressed effectively. This paper pro...
Xin Hu, Taejoon Park, Kang G. Shin
CODES
2007
IEEE
14 years 2 months ago
Locality optimization in wireless applications
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
Javed Absar, Min Li, Praveen Raghavan, Andy Lambre...