Sciweavers

2984 search results - page 68 / 597
» Method engineering process patterns
Sort
View
FOSSACS
2006
Springer
13 years 11 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
13 years 12 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»
14 years 4 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
13 years 8 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
12 years 11 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...