Sciweavers

2705 search results - page 525 / 541
» Privacy in Data Mining Using Formal Methods
Sort
View
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
14 years 1 months ago
Evaluating Evolutionary Testability with Software-Measurements
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
Frank Lammermann, André Baresel, Joachim We...
DATE
2000
IEEE
94views Hardware» more  DATE 2000»
14 years 3 days ago
Shared Memory Implementations of Synchronous Dataflow Specifications
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
Praveen K. Murthy, Shuvra S. Bhattacharyya
LREC
2008
145views Education» more  LREC 2008»
13 years 9 months ago
Anaphora Resolution Exercise: an Overview
Evaluation campaigns have become an established way to evaluate automatic systems which tackle the same task. This paper presents the first edition of the Anaphora Resolution Exer...
Constantin Orasan, Dan Cristea, Ruslan Mitkov, Ant...
TMI
2008
138views more  TMI 2008»
13 years 7 months ago
Accurate Event-Driven Motion Compensation in High-Resolution PET Incorporating Scattered and Random Events
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...
Arman Rahmim, Katie Dinelle, Ju-Chieh Cheng, Mikha...
ICDCS
2011
IEEE
12 years 7 months ago
Smart Redundancy for Distributed Computation
Many distributed software systems allow participation by large numbers of untrusted, potentially faulty components on an open network. As faults are inevitable in this setting, th...
Yuriy Brun, George Edwards, Jae Young Bang, Nenad ...