606 search results - page 66 / 122 » A computable approach to measure and integration theory |
107
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
115
click to vote
DELOS
2000
15 years 3 months ago
2000
: This paper presents an overview over parallel architectures for the efficient realisation of digital libraries by considering image databases as an example. The state of the art ...
MVA
1992
15 years 3 months ago
1992
2 Computational Theory The processing of biological specimens or the 2.1 Overview examination of material surfaces for quality control requires a fast and precise autofocus system....
124
click to vote
ISIPTA
2003
IEEE
15 years 7 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
185
click to vote
FOCS
1997
IEEE
15 years 6 months ago
1997
IEEE
We introduce a new approach to the maximum flow problem. This approach is based on assigning arc lengths based on the residual flow value and the residual arc capacities. Our appro...