Sciweavers

685 search results - page 60 / 137
» Closure Operators for Order Structures
Sort
View
133
Voted
FUIN
2008
124views more  FUIN 2008»
15 years 2 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
CPAIOR
2011
Springer
14 years 6 months ago
Manipulating MDD Relaxations for Combinatorial Optimization
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
David Bergman, Willem Jan van Hoeve, John N. Hooke...
131
Voted
ICRA
2009
IEEE
166views Robotics» more  ICRA 2009»
15 years 9 months ago
Laser-based geometric modeling using cooperative multiple mobile robots
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
Ryo Kurazume, Yusuke Noda, Yukihiro Tobata, Kai Li...
110
Voted
WADS
1989
Springer
84views Algorithms» more  WADS 1989»
15 years 6 months ago
Skip Lists: A Probabilistic Alternative to Balanced Trees
rees can be used for representing abstract data types such as dictionaries and ordered lists. They work well when the elements are inserted in a random order. Some sequences of ope...
William Pugh
CDC
2009
IEEE
162views Control Systems» more  CDC 2009»
15 years 6 months ago
Control of a two stage turbocharger on a Diesel engine
— Two stage turbochargers have been developed recently for Diesel engines in order to improve their performances in terms of power, consumption, emissions and dynamic behavior (s...
Philippe Moulin, Olivier Grondin, Laurent Fontviei...