Sciweavers

531 search results - page 81 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
185
Voted
KDD
1998
ACM
442views Data Mining» more  KDD 1998»
15 years 7 months ago
BAYDA: Software for Bayesian Classification and Feature Selection
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
Petri Kontkanen, Petri Myllymäki, Tomi Siland...
151
Voted
CRYPTO
1997
Springer
156views Cryptology» more  CRYPTO 1997»
15 years 7 months ago
Fast and Secure Hashing Based on Codes
This paper considers hash functions based on block ciphers. It presents a new attack on the compression function of the 128-bit hash function MDC-4 using DES with a complexity far ...
Lars R. Knudsen, Bart Preneel
132
Voted
ACMSE
2007
ACM
15 years 7 months ago
A case study in test management
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
Tauhida Parveen, Scott R. Tilley, George Gonzalez
111
Voted
ATAL
2009
Springer
15 years 7 months ago
Norm-based behaviour modification in BDI agents
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
Felipe Rech Meneguzzi, Michael Luck
142
Voted
DAC
2007
ACM
15 years 7 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley