Sciweavers

1146 search results - page 172 / 230
» Applications of the TAMPR Transformation System
Sort
View
ACISP
2003
Springer
15 years 11 months ago
New Constructions for Resilient and Highly Nonlinear Boolean Functions
Abstract. We explore three applications of geometric sequences in constructing cryptographic Boolean functions. First, we construct 1-resilient functions of n Boolean variables wit...
Khoongming Khoo, Guang Gong
ADC
2003
Springer
128views Database» more  ADC 2003»
15 years 11 months ago
An algorithm for the induction of defeasible logic theories from databases
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...
Benjamin Johnston, Guido Governatori
DATE
2010
IEEE
155views Hardware» more  DATE 2010»
15 years 11 months ago
Scheduling and energy-distortion tradeoffs with operational refinement of image processing
— Ubiquitous image processing tasks (such as transform decompositions, filtering and motion estimation) do not currently provide graceful degradation when their clock-cycles budg...
Davide Anastasia, Yiannis Andreopoulos
EWC
2000
94views more  EWC 2000»
15 years 5 months ago
A Model for the Flow of Design Information in Product Development
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
Steven B. Shooter, Walid Keirouz, Simon Szykman, S...
ENVSOFT
2002
187views more  ENVSOFT 2002»
15 years 5 months ago
AVTOP: a full integration of TOPMODEL into GIS
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
Bo Huang, Bin Jiang