16666 search results - page 28 / 3334 » Descriptive and Computational Complexity |
AMDO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
103
click to vote
CMSB
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
JCB
2008
14 years 11 months ago
2008
Given a metabolic network in terms of its metabolites and reactions, our goal is to efficiently compute the minimal knock out sets of reactions required to block a given behaviour....
83
Voted
CHI
2003
ACM
15 years 11 months ago
2003
ACM
Cognitive modeling has evolved into a powerful tool for understanding and predicting user behavior. Higher-level modeling frameworks such as GOMS and its variants facilitate fast ...
105
click to vote
SAMOS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...