Sciweavers

1136 search results - page 133 / 228
» A Prototype of an Active Form System
Sort
View
PPL
2008
101views more  PPL 2008»
13 years 8 months ago
Skeletal Parallel Programming with OCamlP3l 2.0
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pie...
MVA
2000
234views Computer Vision» more  MVA 2000»
13 years 8 months ago
An automatic assessment scheme for steel quality inspection
This paper presents an automatic system for steel quality assessment, by measuring textural properties of carbide distributions. In current steel inspection, specially etched and p...
Klaus Wiltschi, Axel Pinz, Tony Lindeberg
CCS
2011
ACM
12 years 8 months ago
Information-flow types for homomorphic encryptions
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
Cédric Fournet, Jérémy Planul...
IMCSIT
2010
13 years 6 months ago
German subordinate clause word order in dialogue-based CALL.
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
Magdalena Wolska, Sabrina Wilske
WWW
2003
ACM
14 years 1 months ago
WS-Membership - Failure Management in a Web-Services World
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
Werner Vogels, Christopher Ré