Sciweavers

5101 search results - page 382 / 1021
» Capturing Context Requirements
Sort
View
HYBRID
2007
Springer
16 years 29 days ago
Composition of Dynamical Systems for Estimation of Human Body Dynamics
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy
ICCS
2007
Springer
16 years 29 days ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
TLCA
2007
Springer
16 years 28 days ago
Two Session Typing Systems for Higher-Order Mobile Processes
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
Dimitris Mostrous, Nobuko Yoshida
DATE
2006
IEEE
119views Hardware» more  DATE 2006»
16 years 26 days ago
Performance evaluation for system-on-chip architectures using trace-based transaction level simulation
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
Thomas Wild, Andreas Herkersdorf, Rainer Ohlendorf
DEXAW
2006
IEEE
114views Database» more  DEXAW 2006»
16 years 26 days ago
A Tool for Collaborative Construction of Large Biological Ontologies
In order for ontologies to be broadly useful to the scientific community, they need to capture knowledge and expertise of multiple experts and research groups. Consequently, the ...
Jie Bao, Zhiliang Hu, Doina Caragea, James Reecy, ...