Sciweavers

1575 search results - page 187 / 315
» A Behavioral Analysis of Computational Models of Visual Atte...
Sort
View
158
Voted
SIGSOFT
2006
ACM
16 years 2 days ago
Simulation-based test adequacy criteria for distributed systems
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
164
Voted
ISSTA
2006
ACM
16 years 2 days ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...
MIRRORBOT
2005
Springer
154views Robotics» more  MIRRORBOT 2005»
15 years 11 months ago
Spatial Representation and Navigation in a Bio-inspired Robot
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
Denis Sheynikhovich, Ricardo Chavarriaga, Thomas S...
198
Voted
CVGIP
2004
175views more  CVGIP 2004»
15 years 6 months ago
A subdivision-based deformable model for surface reconstruction of unknown topology
This paper presents a surface reconstruction algorithm that can recover correct shape geometry as well as its unknown topology from both volumetric images and unorganized point cl...
Ye Duan, Hong Qin
RECOMB
2001
Springer
15 years 10 months ago
Extracting structural information using time-frequency analysis of protein NMR data
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
Christopher James Langmead, Bruce Randall Donald