Sciweavers

11716 search results - page 2064 / 2344
» Computable symbolic dynamics
Sort
View
114
Voted
APGV
2010
ACM
247views Visualization» more  APGV 2010»
15 years 4 months ago
Perception of linear and nonlinear motion properties using a FACS validated 3D facial model
In this paper we present the first Facial Action Coding System (FACS) valid model to be based on dynamic 3D scans of human faces for use in graphics and psychological research. T...
Darren Cosker, Eva Krumhuber, Adrian Hilton
CSFW
2010
IEEE
15 years 4 months ago
Approximation and Randomization for Quantitative Information-Flow Analysis
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
Boris Köpf, Andrey Rybalchenko
116
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
A System for Querying with Qualitative Distances in Networks
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
Carl P. L. Schultz, Hans W. Guesgen, Robert Amor
147
Voted
ATAL
2006
Springer
15 years 4 months ago
A computer-supported cooperative learning system with multiagent intelligence
In this paper, we describe an innovative infrastructure to support student participation and collaboration and help the instructor manage large or distance classrooms using multia...
Leen-Kiat Soh, Nobel Khandaker, Xuliu Liu, Hong Ji...
100
Voted
CASES
2006
ACM
15 years 4 months ago
Incremental elaboration for run-time reconfigurable hardware designs
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
Arran Derbyshire, Tobias Becker, Wayne Luk
« Prev « First page 2064 / 2344 Last » Next »