Sciweavers

74 search results - page 11 / 15
» Conceptual Graph Rules and Equivalent Rules: A Synthesis
Sort
View
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
15 years 1 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
SODA
2012
ACM
218views Algorithms» more  SODA 2012»
13 years 13 hour ago
Linear kernels for (connected) dominating set on H-minor-free graphs
We give the first linear kernels for DOMINATING SET and CONNECTED DOMINATING SET problems on graphs excluding a fixed graph H as a minor. In other words, we give polynomial time...
Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, ...
DIGRA
2005
Springer
15 years 3 months ago
Designing Goals for Online Role-Players
The increasing popularity of persistent worlds and the predicted rise of pervasive gaming, both having a strong inherent potential for role-playing, stress a classical challenge o...
Markus Montola
SBBD
2004
133views Database» more  SBBD 2004»
14 years 11 months ago
Query Processing in ROSA Data Model
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
Fábio Coutinho, Fabio Porto
ENTCS
2006
183views more  ENTCS 2006»
14 years 9 months ago
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
László Lengyel, Tihamer Levendovszky...