601 search results - page 120 / 121 » Argumentation support: from technologies to tools |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
IUI
2005
ACM
14 years 27 days ago
2005
ACM
XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...
CCS
2009
ACM
13 years 12 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
ER
1995
Springer
13 years 11 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
A genetic algorithm (GA) was developed to implement a maximum variation sampling technique to derive a subset of data from a large dataset of unstructured mammography reports. It ...