Sciweavers

3222 search results - page 236 / 645
» A Data Model for Effectively Computable Functions
Sort
View
185
Voted
ICS
2010
Tsinghua U.
16 years 4 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
AMDO
2000
Springer
15 years 11 months ago
Model Adaptation and Posture Estimation of Moving Articulated Object Using Monocular Camera
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
Nobutaka Shimada, Yoshiaki Shirai, Yoshinori Kuno
DAGM
2007
Springer
16 years 25 days ago
Recursive Estimation with Implicit Constraints
Recursive estimation or Kalman filtering usually relies on explicit model functions, that directly and explicitly describe the effect of the parameters on the observations. Howeve...
Richard Steffen, Christian Beder
CIBCB
2007
IEEE
15 years 10 months ago
Genetic Regulatory Network Modeling Using Network Component Analysis and Fuzzy Clustering
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
Fatemeh Bakouie, Mohammad Hassan Moradi
CIC
2003
150views Communications» more  CIC 2003»
15 years 8 months ago
Performance Modeling of a Cluster of Workstations
Using off-the-shelf commodity workstations to build a cluster for parallel computing has become a common practice. In studying or designing a cluster of workstations one should ha...
Ahmed M. Mohamed, Lester Lipsky, Reda A. Ammar