408 search results - page 14 / 82 » Quantitative Models and Implicit Complexity |
TMI
2010
13 years 5 months ago
2010
Abstract—The use of quantitative imaging for the characterization of hepatic tumors in MRI can improve the diagnosis and therefore the treatment of these life-threatening tumors....
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
QEST
2008
IEEE
14 years 1 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
DCC
2005
IEEE
14 years 7 months ago
2005
IEEE
ct A very fast, low complexity algorithm for resolution scalable and random access decoding is presented. The algorithm is based on AGP (Alphabet and Group Partitioning) [1], where...
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...