4650 search results - page 577 / 930 » Generating and evaluating evaluative arguments |
187
click to vote
TMI
2008
15 years 6 months ago
2008
Abstract-- The projection data measured in computed tomography (CT) and, consequently, the slices reconstructed from these data are noisy. We present a new wavelet based structurep...
250
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
167
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
293
click to vote
TOMACS
2011
15 years 1 months ago
2011
We consider the problem of the exact simulation of random variables Z that satisfy the distributional identity Z L = V Y + (1 − V )Z, where V ∈ [0, 1] and Y are independent, an...
193
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
A growing body of work has compiled a strong case for the single-ISA heterogeneous multi-core paradigm. A single-ISA heterogeneous multi-core provides multiple, differently-design...