1484 search results - page 107 / 297 » The Proteogenomic Mapping Tool |
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— In this paper, chaos in a current-mode controlled boost converter is studied. Firstly, the existence of chaos is proven theoretically in this system. The proof consists of show...
153
click to vote
WOWMOM
2005
ACM
15 years 12 months ago
2005
ACM
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
155
click to vote
PACT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
226
click to vote
NAA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a probabilistic model for estimation of the numbers of cache misses during the sparse matrix-vector multiplication (for both general and symmetric matrice...
159
click to vote
TVCG
2008
15 years 6 months ago
2008
Computing smooth and optimal one-to-one maps between surfaces of same topology is a fundamental problem in graphics and such a method provides us a ubiquitous tool for geometric mo...