Sciweavers

2098 search results - page 355 / 420
» The Persistent Abstract Machine
Sort
View
134
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
139
Voted
CHES
2008
Springer
84views Cryptology» more  CHES 2008»
15 years 6 months ago
A Real-World Attack Breaking A5/1 within Hours
Abstract. In this paper we present a real-world hardware-assisted attack on the wellknown A5/1 stream cipher which is (still) used to secure GSM communication in most countries all...
Timo Gendrullis, Martin Novotný, Andy Rupp
129
Voted
CLEF
2008
Springer
15 years 6 months ago
Medical Image Annotation in ImageCLEF 2008
Abstract. The ImageCLEF 2008 medical image annotation task is designed to assess the quality of content-based image retrieval and image classification by means of global signatures...
Thomas Deselaers, Thomas Martin Deserno
DIMEA
2008
154views Multimedia» more  DIMEA 2008»
15 years 6 months ago
Emotionally aware automated portrait painting
We combine a machine vision system that recognises emotions and a non-photorealistic rendering (NPR) system to automatically produce portraits which heighten the emotion of the si...
Simon Colton, Michel François Valstar, Maja...
149
Voted
ECAI
2008
Springer
15 years 6 months ago
Intelligent adaptive monitoring for cardiac surveillance
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
Lucie Callens, Guy Carrault, Marie-Odile Cordier, ...