Sciweavers

1653 search results - page 191 / 331
» Directed tree-width examples
Sort
View
VISUALIZATION
2002
IEEE
15 years 7 months ago
Probabilistic Surfaces: Point Based Primitives to Show Surface Uncertainty
Efficient and informative visualization of surfaces with uncertainties is an important topic with many applications in science and engineering. Examples include environmental pol...
Gevorg Grigoryan, Penny Rheingans
WCRE
2002
IEEE
15 years 7 months ago
A Disturbing Result on the Knowledge Used during Software Maintenance
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...
Maria Fernanda N. Ramal, Ricardo de Moura Meneses,...
APN
2010
Springer
15 years 7 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
MFCS
2009
Springer
15 years 7 months ago
Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules
Abstract. To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggre...
Nadja Betzler, Britta Dorn
136
Voted
SLE
2009
Springer
15 years 7 months ago
Closing the Gap between Modelling and Java
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...