Sciweavers

578 search results - page 79 / 116
» A Logic Programming Based Approach to QA@CLEF05 Track
Sort
View
POPL
2008
ACM
16 years 4 months ago
A theory of platform-dependent low-level software
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
Marius Nita, Dan Grossman, Craig Chambers
GECCO
2005
Springer
195views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving fuzzy decision tree structure that adapts in real-time
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
James F. Smith III
FSKD
2006
Springer
203views Fuzzy Logic» more  FSKD 2006»
15 years 8 months ago
An Interval Semi-absolute Deviation Model For Portfolio Selection
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
Yong Fang, Shouyang Wang
DOOD
1991
Springer
107views Database» more  DOOD 1991»
15 years 8 months ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...
ICST
2009
IEEE
15 years 11 months ago
Transforming and Selecting Functional Test Cases for Security Policy Testing
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry