Sciweavers

3047 search results - page 115 / 610
» Aggregation functions: Means
Sort
View
ENTCS
2002
148views more  ENTCS 2002»
13 years 8 months ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo
IACR
2011
92views more  IACR 2011»
12 years 8 months ago
From Non-Adaptive to Adaptive Pseudorandom Functions
Unlike the standard notion of pseudorandom functions (PRF), a non-adaptive PRF is only required to be indistinguishable from random in the eyes of a non-adaptive distinguisher (i....
Iftach Haitner, Itay Berman
ICFP
2006
ACM
14 years 9 months ago
A pattern for almost compositional functions
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
Aarne Ranta, Björn Bringert
SAC
2004
ACM
14 years 2 months ago
Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
Maja D'Hondt, Kris Gybels, Viviane Jonckers
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
14 years 1 months ago
Stabilization of networked control systems via non-monotone control ^lyapunov functions
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
Rob H. Gielen, Mircea Lazar