4209 search results - page 522 / 842 » Abstract Dialectical Frameworks |
151
Voted
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
146
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
170
click to vote
BILDMED
2008
15 years 6 months ago
2008
Abstract. We present an illustrative rendering extension for virtual endoscopy to enhance depth perception. For this purpose different hatch textures are applied and their ability ...
140
Voted
ECIR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Previous evaluations of server selection methods for federated search have either used metrics which are unconnected with user satisfaction, or have not been able to acco...
134
click to vote
CORIA
2007
15 years 6 months ago
2007
ABSTRACT. In the framework of the LegDoc project at Xerox Research Centre Europe, we are developing components for the semantic annotation of semi-structured documents. While certa...