Sciweavers

3370 search results - page 585 / 674
» Correlation Embedding Analysis
Sort
View
SG
2010
Springer
14 years 2 months ago
Sketch-Based Interfaces: Exploiting Spatio-temporal Context for Automatic Stroke Grouping
In this paper, we investigate how discourse context in the form of short-term memory can be exploited to automatically group consecutive strokes in digital freehand sketching. With...
Lutz Dickmann, Tobias Lensing, Robert Porzel, Rain...
SP
2010
IEEE
140views Security Privacy» more  SP 2010»
14 years 2 months ago
Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...
Clemens Kolbitsch, Thorsten Holz, Christopher Krue...
AMDO
2006
Springer
14 years 1 months ago
Carrying Object Detection Using Pose Preserving Dynamic Shape Models
In this paper, we introduce a framework for carrying object detection in different people from different views using pose preserving dynamic shape models. We model dynamic shape de...
Chan-Su Lee, Ahmed M. Elgammal
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
14 years 1 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
EMSOFT
2006
Springer
14 years 1 months ago
Real-time interfaces for composing real-time systems
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov