Sciweavers

640 search results - page 12 / 128
» Discovering State Invariants
Sort
View
IJCV
2010
165views more  IJCV 2010»
13 years 9 months ago
Shape-based Invariant Texture Indexing
This paper introduces a new texture analysis scheme, which is invariant to local geometric and radiometric changes. The proposed methodology relies on the topographic map of images...
Gui-Song Xia, Julie Delon, Yann Gousseau
AUSDM
2006
Springer
145views Data Mining» more  AUSDM 2006»
14 years 2 months ago
Discover Knowledge From Distribution Maps Using Bayesian Networks
This paper applies a Bayesian network to model multi criteria distribution maps and to discover knowledge contained in spatial data. The procedure consists of three steps: pre pro...
Norazwin Buang, Nianjun Liu, Terry Caelli, Rob Les...
SARA
2005
Springer
14 years 4 months ago
Feature-Discovering Approximate Value Iteration Methods
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
Jia-Hong Wu, Robert Givan
ICSE
2010
IEEE-ACM
14 years 3 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
GI
2001
Springer
14 years 3 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...