Sciweavers

3605 search results - page 398 / 721
» Associated types with class
Sort
View
FSTTCS
2000
Springer
15 years 10 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Schematic Maps as Wayfinding Aids
Schematic maps are effective tools for representing information e physical environment; they depict specific information in an abstract way. This study concentrates on spatial aspe...
Hernan Casakin, Thomas Barkowsky, Alexander Klippe...
FPCA
1995
15 years 10 months ago
Shortcut Deforestation in Calculational Form
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
Akihiko Takano, Erik Meijer
MM
1995
ACM
89views Multimedia» more  MM 1995»
15 years 10 months ago
A Resolution Independent Video Language
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
Jonathan Swartz, Brian C. Smith
NSDI
2008
15 years 9 months ago
Exploiting Machine Learning to Subvert Your Spam Filter
Using statistical machine learning for making security decisions introduces new vulnerabilities in large scale systems. This paper shows how an adversary can exploit statistical m...
Blaine Nelson, Marco Barreno, Fuching Jack Chi, An...