Sciweavers

662 search results - page 53 / 133
» The Functionality Attribute of Cybergenres
Sort
View
POPL
1997
ACM
15 years 2 months ago
First-class Polymorphism with Type Inference
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
Mark P. Jones
HICSS
1996
IEEE
84views Biometrics» more  HICSS 1996»
15 years 2 months ago
The Development of FEDI in Switzerland: A Life-Cycle Approach
Four major Swiss banks have recently introduced a new financial electronic data interchange (FEDI) service based on UN/EDIFACT and are now trying to convince their corporate custo...
Ivo Cathomen, Stefan Klein
CHI
1993
ACM
15 years 2 months ago
Synthesizing auditory icons
Auditory icons add valuable functionality to computer interfaces, particularly when they are parameterized to convey dimensional information. They are difficult to create and mani...
William W. Gaver
GBRPR
2007
Springer
15 years 1 months ago
Image Classification Using Marginalized Kernels for Graphs
We propose in this article an image classification technique based on kernel methods and graphs. Our work explores the possibility of applying marginalized kernels to image process...
Emanuel Aldea, Jamal Atif, Isabelle Bloch
ARCS
2006
Springer
15 years 1 months ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...