Sciweavers

1792 search results - page 62 / 359
» Requirements Capture with RCAT
Sort
View
ISBI
2007
IEEE
16 years 15 days ago
Noise and Artifact Removal in Knife-Edge Scanning Microscopy
Knife-Edge Scanning Microscopy (KESM) is a recently developed technique that allows fast and automated imaging of several hundred cubic millimeters of tissue at sub-micron resolut...
David Mayerich, Bruce H. McCormick, John Keyser
ACCV
2007
Springer
16 years 11 days ago
Task Scheduling in Large Camera Networks
Camera networks are increasingly being deployed for security. In most of these camera networks, video sequences are captured, transmitted and archived continuously from all cameras...
Ser-Nam Lim, Larry S. Davis, Anurag Mittal
ACCV
2007
Springer
16 years 11 days ago
Human Pose Estimation from Volume Data and Topological Graph Database
This paper proposes a novel volume-based motion capture method using a bottom-up analysis of volume data and an example topology database of the human body. By using a two-step gra...
Hidenori Tanaka, Atsushi Nakazawa, Haruo Takemura
ICSE
2007
IEEE-ACM
16 years 10 days ago
Architecture Knowledge Management: Challenges, Approaches, and Tools
Capturing the technical knowledge, contextual information, and rationale surrounding the design decisions underpinning system architectures can greatly improve the software develo...
Muhammad Ali Babar, Ian Gorton
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
16 years 9 days ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu