Sciweavers

1190 search results - page 185 / 238
» The Continuing Quest for Abstraction
Sort
View
CORR
2008
Springer
93views Education» more  CORR 2008»
13 years 7 months ago
Succinctness of the Complement and Intersection of Regular Expressions
Abstract. We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the compl...
Wouter Gelade, Frank Neven
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 7 months ago
Improved Squeaky Wheel Optimisation for Driver Scheduling
Abstract. This paper presents a technique called Improved Squeaky Wheel Optimisation (ISWO) for driver scheduling problems. It improves the original Squeaky Wheel Optimisation'...
Uwe Aickelin, Edmund K. Burke, Jingpeng Li
ENTCS
2010
133views more  ENTCS 2010»
13 years 7 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
ENTCS
2008
122views more  ENTCS 2008»
13 years 7 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
GEOINFORMATICA
2008
73views more  GEOINFORMATICA 2008»
13 years 7 months ago
Reporting Leaders and Followers among Trajectories of Moving Point Objects
Abstract. Widespread availability of location aware devices (such as GPS receivers) promotes capture of detailed movement trajectories of people, animals, vehicles and other moving...
Mattias Andersson, Joachim Gudmundsson, Patrick La...