Sciweavers

2693 search results - page 159 / 539
» French Order Without Order
Sort
View
DEXAW
2004
IEEE
88views Database» more  DEXAW 2004»
15 years 7 months ago
A Possible World Approach to Uncertain Relational Data
Data exchange between embedded systems and other small or large computing devices increases. Since data in different data sources may refer to the same real world objects, data ca...
Ander de Keijzer, Maurice van Keulen
ECML
2004
Springer
15 years 7 months ago
Justification-Based Selection of Training Examples for Case Base Reduction
Maintaining compact and competent case bases has become a main topic of Case Based Reasoning (CBR) research. The main goal is to obtain a compact case base (with a reduced number o...
Santiago Ontañón, Enric Plaza
COLT
2006
Springer
15 years 7 months ago
Teaching Randomized Learners
Abstract. The present paper introduces a new model for teaching randomized learners. Our new model, though based on the classical teaching dimension model, allows to study the infl...
Frank J. Balbach, Thomas Zeugmann
ESORICS
2006
Springer
15 years 7 months ago
A Linear Logic of Authorization and Knowledge
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pf...
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden