Sciweavers

5234 search results - page 819 / 1047
» Method Components - Rationale Revealed
Sort
View
TSE
2011
214views more  TSE 2011»
15 years 1 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
TVCG
2011
175views more  TVCG 2011»
15 years 1 months ago
Parallel Iteration to the Radiative Transport in Inhomogeneous Media with Bootstrapping
—This paper presents a fast parallel method to solve the radiative transport equation in inhomogeneous participating media. We apply a novel approximation scheme to find a good ...
László Szirmay-Kalos, Gabor Liktor, ...
168
Voted
IFIP
2010
Springer
15 years 1 months ago
Combining Software and Hardware LCS for Lightweight On-Chip Learning
In this paper we present a novel two-stage method to realize a lightweight but very capable hardware implementation of a Learning Classifier System for on-chip learning. Learning C...
Andreas Bernauer, Johannes Zeppenfeld, Oliver Brin...
MVA
2010
229views Computer Vision» more  MVA 2010»
15 years 27 days ago
Robust 3D object registration without explicit correspondence using geometric integration
3D vision guided manipulation of components is a key problem of industrial machine vision. In this paper, we focus on the localization and pose estimation of known industrial objec...
Dirk Breitenreicher, Christoph Schnörr
176
Voted
TCSV
2010
15 years 26 days ago
Efficient Bit Allocation and Rate Control Algorithms for Hierarchical Video Coding
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
Chan-Won Seo, Jung Won Kang, Jong-Ki Han, Truong Q...