1915 search results - page 259 / 383 » A language for functional interpretation of model based simu... |
121
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a new variational framework for recovery of apparent diffusion coefficient (ADC) from High Angular Resolution Diffusion-weighted (HARD) MRI. The model approximates the ...
148
click to vote
IPSN
2003
Springer
15 years 9 months ago
2003
Springer
A novel source localization approach using acoustic energy measurements from the individual sensors in the sensor field is presented. This new approach is based on the acoustic en...
150
click to vote
OPODIS
2008
15 years 5 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
161
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
134
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...