Sciweavers

2984 search results - page 68 / 597
» Method engineering process patterns
Sort
View
FOSSACS
2006
Springer
15 years 5 months ago
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
Cosimo Laneve, Luca Padovani
SSPR
1998
Springer
15 years 5 months ago
Multi-interval Discretization Methods for Decision Tree Learning
Properly addressing the discretization process of continuos valued features is an important problem during decision tree learning. This paper describes four multi-interval discreti...
Petra Perner, Sascha Trautzsch
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
15 years 10 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
BCSHCI
2009
15 years 2 months ago
Sketching sketching: outlines of a collaborative design method
In this paper, we describe three key areas in the literature where sketching has been seen as being beneficial to designers. We applied this knowledge in the user interface design...
Brock Craft, Paul A. Cairns
ICASSP
2011
IEEE
14 years 5 months ago
Speaker authentication using video-based lip information
The lip-region can be interpreted as either a genetic or behavioural biometric trait depending on whether static or dynamic information is used. In this paper, we use a texture de...
Budhaditya Goswami, Chi-Ho Chan, Josef Kittler, Wi...