Sciweavers

KBSE
1998
IEEE
15 years 7 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
128
Voted
ICPR
2000
IEEE
15 years 7 months ago
Texture Classification by Multi-Predicate Local Binary Pattern Operators
This paper benchmarks the simple Local Binary Pattern (LBP) approach in the supervised texture segmentation problems of the recent comparative study of Randen and Hus
Topi Mäenpää, Matti Pietikäine...
124
Voted
ICPR
2000
IEEE
15 years 7 months ago
Robust Texture Classification by Subsets of Local Binary Patterns
Recently, a nonparametric approach to texture analysis has been developed, in which the distributions of simple texture measures based on local binary patterns (LBP) are used for ...
Topi Mäenpää, Timo Ojala, Matti Pie...
138
Voted
IWPC
1998
IEEE
15 years 7 months ago
Rapid System Understanding: Two COBOL Case Studies
Rapid system understanding is required in the planning, feasibility assessment and cost estimating phases of a system renovation project. In this paper, we apply a number of analy...
Arie van Deursen, Tobias Kuipers
ICPR
2000
IEEE
15 years 7 months ago
REFLICS: Real-Time Flow Imaging and Classification System
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
Sadahiro Iwamoto, Mohan M. Trivedi, David M. Check...