Sciweavers

322 search results - page 55 / 65
» Expressive power and abstraction in Essence
Sort
View
SMR
2010
149views more  SMR 2010»
14 years 10 months ago
Capturing variability in business process models: the Provop approach
Usually, for a particular business process different variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the proc...
Alena Hallerbach, Thomas Bauer, Manfred Reichert
DATESO
2010
153views Database» more  DATESO 2010»
14 years 9 months ago
Answering Metric Skyline Queries by PM-tree
Abstract. The task of similarity search in multimedia databases is usually accomplished by range or k nearest neighbor queries. However, the expressing power of these "single-...
Tomás Skopal, Jakub Lokoc
AMDO
2010
Springer
14 years 8 months ago
Analysing the Influence of Vertex Clustering on PCA-Based Dynamic Mesh Compression
Abstract. The growth of computational power of contemporary hardware causes technologies working with 3D-data to expand. Examples of the use of this kind of data can be found in ge...
Jan Rus, Libor Vása
INFOCOM
2011
IEEE
14 years 3 months ago
Information propagation speed in bidirectional vehicular delay tolerant networks
Abstract—In this paper, we provide an analysis of the information propagation speed in bidirectional vehicular delay tolerant networks on highways. We show that a phase transitio...
Emmanuel Baccelli, Philippe Jacquet, Bernard Mans,...
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
15 years 5 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...