Sciweavers

1746 search results - page 160 / 350
» Recent Developments in Algorithmic Teaching
Sort
View
ACSD
2009
IEEE
110views Hardware» more  ACSD 2009»
14 years 1 months ago
Variants of the Language Based Synthesis Problem for Petri Nets
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
Sebastian Mauser, Robert Lorenz
ICMT
2010
Springer
14 years 1 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
ECP
1997
Springer
125views Robotics» more  ECP 1997»
14 years 16 days ago
Possibilistic Planning: Representation and Complexity
A possibilistic approach of planning under uncertainty has been developed recently. It applies to problems in which the initial state is partially known and the actions have graded...
Célia da Costa Pereira, Frédé...
DAWAK
2009
Springer
14 years 7 days ago
Skyline View: Efficient Distributed Subspace Skyline Computation
Skyline queries have gained much attention as alternative query semantics with pros (e.g.low query formulation overhead) and cons (e.g.large control over result size). To overcome ...
Jinhan Kim, Jongwuk Lee, Seung-won Hwang
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
14 years 3 days ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...