5234 search results - page 48 / 1047 » Method Components - Rationale Revealed |
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
ADAEUROPE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
ICANN
1997
Springer
15 years 1 months ago
1997
Springer
A new method for performing a nonlinear form of Principal Component Analysis is proposed. By the use of integral operator kernel functions, one can e ciently compute principal comp...
CVPR
2006
IEEE
15 years 3 months ago
2006
IEEE
Images can be represented as the composition of multiple intrinsic component images, such as shading, albedo, and noise images. In this paper, we present a method for estimating i...
COLING
2010
14 years 4 months ago
2010
Tibetan word segmentation is essential for Tibetan information processing. People mainly use the basic machine matching method which is based on dictionary to segment Tibetan word...