Sciweavers

5159 search results - page 655 / 1032
» Structural Testing of Executables
Sort
View
AOSE
2007
Springer
16 years 1 months ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...
184
Voted
ECML
2007
Springer
16 years 1 months ago
Additive Groves of Regression Trees
We present a new regression algorithm called Additive Groves and show empirically that it is superior in performance to a number of other established regression methods. A single G...
Daria Sorokina, Rich Caruana, Mirek Riedewald
IBPRIA
2007
Springer
16 years 1 months ago
Extracting Average Shapes from Occluded Non-rigid Motion
This paper presents a method to efficiently estimate average 3-D shapes from non-rigid motion in the case of missing data. Such a shape can be further used to accomplish full reco...
Alessio Del Bue
ISAAC
2007
Springer
89views Algorithms» more  ISAAC 2007»
16 years 1 months ago
Unifying Two Graph Decompositions with Modular Decomposition
We introduces the umodules, a generalization of the notion of graph module. The theory we develop captures among others undirected graphs, tournaments, digraphs, and 2−structures...
Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy,...
164
Voted
MODELS
2007
Springer
16 years 1 months ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler