2995 search results - page 276 / 599 » On multi-avoidance of generalized patterns |
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Rainfall in Kerala State, the southern part of Indian Peninsula in particular is caused by the two monsoons and the two cyclones every year. In general, climate and rainf...
90
Voted
IWANN
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. It is generally accepted that some of the problems and ambiguities at the low level of processing can not be resolved without taking into account contextual expectations....
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
94
Voted
FM
1997
Springer
15 years 4 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
96
Voted
CHI
1996
ACM
15 years 4 months ago
1996
ACM
The goal of `Computer Augmented Environments' is to bring computational power to everyday objects with which users are already familiar, so that the user interface to this co...