338 search results - page 40 / 68 » On the Complexity of Termination Inference for Processes |
98
Voted
PVLDB
2008
14 years 9 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a physical phantom designed for fibre tractography validation and use it to evaluate tracking algorithms that employ (a) the classic diffusion tensor model of diffusion...
67
Voted
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
FCCM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
ICCD
2000
IEEE
15 years 2 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...