Sciweavers

62 search results - page 11 / 13
» Graph-Based Tools: The Contest
Sort
View
ISSTA
2010
ACM
13 years 7 months ago
A platform for search-based testing of concurrent software
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
Bohuslav Krena, Zdenek Letko, Tomás Vojnar,...
CORIA
2006
13 years 9 months ago
Annotation semi-automatique de grandes BD images : Approche par graphes de voisinage
The annotation of images data is the main tool for associating semantics to an image. In this article we are interested in the semi-automatic annotation of images data. Indeed, wit...
Hakim Hacid
ICTAI
2007
IEEE
14 years 1 months ago
Constructing VEGGIE: Machine Learning for Context-Sensitive Graph Grammars
Context-sensitive graph grammar construction tools have been used to develop and study interesting languages. However, the high dimensionality of graph grammars result in costly e...
Keven Ates, Kang Zhang
ECAI
2006
Springer
13 years 11 months ago
Cheating Is Not Playing: Methodological Issues of Computational Game Theory
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
Bruno Beaufils, Philippe Mathieu
FASE
2005
Springer
14 years 1 months ago
Kaveri: Delivering the Indus Java Program Slicer to Eclipse
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
Ganeshan Jayaraman, Venkatesh Prasad Ranganath, Jo...