2925 search results - page 369 / 585 » Input Modeling Using Quantile Statistical Methods |
100
click to vote
ALMOB
2007
15 years 20 days ago
2007
Background: Neighbor-Net is a novel method for phylogenetic analysis that is currently being widely used in areas such as virology, bacteriology, and plant evolution. Given an inp...
130
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
108
Voted
ICSE
1998
IEEE-ACM
15 years 4 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
128
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- An inverse modeling problem for systems governed by first-order, hyperbolic partial differential equations subject to periodic forcing is investigated. The problem is de...
137
Voted
SIAMIS
2010
14 years 11 months ago
2010
Abstract. In this work, we present an approach to jointly segment a rigid object in a two-dimensional (2D) image and estimate its three-dimensional (3D) pose, using the knowledge o...