Sciweavers

27 search results - page 2 / 6
» New subclasses of bi-univalent functions
Sort
View
UAI
2001
13 years 6 months ago
A Calculus for Causal Relevance
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
Blai Bonet
STOC
2005
ACM
138views Algorithms» more  STOC 2005»
13 years 10 months ago
A new strategy for querying priced information
This paper focuses on competitive function evaluation in the context of computing with priced information. A function f is given together with a cost cx for each variable x of f. ...
Ferdinando Cicalese, Eduardo Sany Laber
ECOOP
2008
Springer
13 years 6 months ago
An Extensible State Machine Pattern for Interactive Applications
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
Brian Chin, Todd D. Millstein
ECOOP
1997
Springer
13 years 9 months ago
Feature-Oriented Programming: A Fresh Look at Objects
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
Christian Prehofer
FMOODS
2000
13 years 6 months ago
Behavioural Subtyping and Property Preservation
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
Heike Wehrheim