Sciweavers

5570 search results - page 663 / 1114
» Applications of Fair Testing
Sort
View
CONCUR
2006
Springer
15 years 10 months ago
Concurrent Rewriting for Graphs with Equivalences
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
CP
2006
Springer
15 years 10 months ago
A New Algorithm for Sampling CSP Solutions Uniformly at Random
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
Vibhav Gogate, Rina Dechter
ECAI
2006
Springer
15 years 10 months ago
Unified Definition of Heuristics for Classical Planning
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
Jussi Rintanen
ECCV
2006
Springer
15 years 10 months ago
Dynamic Texture Recognition Using Volume Local Binary Patterns
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
Guoying Zhao, Matti Pietikäinen
EVOW
2006
Springer
15 years 10 months ago
Artificial Life Models in Lung CTs
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
Sorin Cristian Cheran, Gianfranco Gargano