Sciweavers

574 search results - page 49 / 115
» A General Framework for Covering Concepts using Terminologie...
Sort
View
SPAA
2010
ACM
15 years 1 days ago
Scheduling to minimize power consumption using submodular functions
We develop logarithmic approximation algorithms for extremely general formulations of multiprocessor multiinterval offline task scheduling to minimize power usage. Here each proce...
Erik D. Demaine, Morteza Zadimoghaddam
SPATIALCOGNITION
2000
Springer
15 years 3 months ago
Monitoring Change: Characteristics of Dynamic Geo-spatial Phenomena for Visual Exploration
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
Connie A. Blok
JOLLI
2006
86views more  JOLLI 2006»
14 years 11 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
Chris Barker, Chung-chieh Shan
CADE
2008
Springer
16 years 4 days ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
MEMBRANE
2004
Springer
15 years 5 months ago
Evolution and Oscillation in P Systems: Applications to Biological Phenomena
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
Vincenzo Manca, Luca Bianco, Federico Fontana