Sciweavers

3579 search results - page 431 / 716
» Transformations of software models into performance models
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
ICAPR
2009
Springer
15 years 11 months ago
Eigen-domain Relighting of Face Images for Illumination-invariant Face Verification
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
Vinod Pathangay, Sukhendu Das
ISCAS
2007
IEEE
141views Hardware» more  ISCAS 2007»
16 years 26 days ago
Active Visual Tracking of Heading Direction By Combining Motion Energy Neurons
- We describe a robotic vision system that aligns a camera's optical axis with its direction of translation by estimating the focus of expansion. Visual processing is based on...
Stanley Y. M. Lam, Bertram Emil Shi
ER
2004
Springer
90views Database» more  ER 2004»
15 years 12 months ago
WUML: A Web Usage Manipulation Language for Querying Web Log Data
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
Qingzhao Tan, Yiping Ke, Wilfred Ng
ISMIR
2004
Springer
111views Music» more  ISMIR 2004»
15 years 12 months ago
Optimizing Measures Of Melodic Similarity For The Exploration Of A Large Folk Song Database
This investigation aims at finding an optimal way of measuring the similarity of melodies. The applicability for an automated analysis and classification was tested on a folk song...
Daniel Müllensiefen, Klaus Frieler