Sciweavers

4629 search results - page 669 / 926
» Space Kernel Analysis
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
AAAI
2010
15 years 8 months ago
Representation Discovery in Sequential Decision Making
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
Sridhar Mahadevan
APVIS
2010
15 years 8 months ago
Motion track: Visualizing variations of human motion data
This paper proposes a novel visualization approach, which can depict the variations between different human motion data. This is achieved by representing the time dimension of eac...
Yueqi Hu, Shuangyuan Wu, Shihong Xia, Jinghua Fu, ...
BCS
2008
15 years 8 months ago
Implications of Electronics Technology Trends to Algorithm Design
Scaling of electronics technology has brought us to a pivotal point in the design of computational devices. Technology scaling favours transistors over wires which has led us into...
Daniel Greenfield, Simon W. Moore
ICONIP
2008
15 years 8 months ago
Improved Mass Spectrometry Peak Intensity Prediction by Adaptive Feature Weighting
Mass spectrometry (MS) is a key technique for the analysis and identification of proteins. A prediction of spectrum peak intensities from pre computed molecular features would pave...
Alexandra Scherbart, Wiebke Timm, Sebastian Bö...