Sciweavers

3771 search results - page 325 / 755
» Subobject Transformation Systems
Sort
View
ICFP
2009
ACM
16 years 7 months ago
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
Tiark Rompf, Ingo Maier, Martin Odersky
ICSE
2009
IEEE-ACM
16 years 1 months ago
Mining recurrent activities: Fourier analysis of change events
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
Abram Hindle, Michael W. Godfrey, Richard C. Holt
ICDAR
2009
IEEE
16 years 1 months ago
Writer Adaptive Online Handwriting Recognition Using Incremental Linear Discriminant Analysis
Writer adaptive handwriting recognition, which has potential of increasing accuracies for a particular user, is the process of converting a writer-independent recognition system t...
Zhibin Huang, Kai Ding, Lianwen Jin, Xue Gao
ICPR
2008
IEEE
16 years 1 months ago
Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions
Biometric authentication and privacy protection are conflicting issues in a practical system. Since biometrics cannot be revoked or canceled if compromised duo to the permanent as...
Jinyang Shi, Zhiyang You, Ming Gu, Kwok-Yan Lam
210
Voted
AGTIVE
2007
Springer
16 years 1 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...