7597 search results - page 1292 / 1520 » On the design of metric relations |
170
click to vote
TC
2010
15 years 5 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
181
click to vote
TMI
2010
15 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....
166
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
Modern speech recognition applications are becoming very complex program packages. To understand the error behaviour of the ASR systems, a special diagnosis - a procedure or a tool...
207
click to vote
TVCG
2010
2010
Mental Models, Visual Reasoning and Interaction in Information Visualization: A Top-down Perspective
15 years 5 months ago
—Although previous research has suggested that examining the interplay between internal and external representations can benefit our understanding of the role of information vis...
185
click to vote
UTP
2010
15 years 5 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...