Sciweavers

4944 search results - page 725 / 989
» A Framework for Adaptive Visualization
Sort
View
POPL
1997
ACM
15 years 10 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
AIIA
2009
Springer
15 years 10 months ago
Towards Extensible Textual Entailment Engines: The EDITS Package
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
Matteo Negri, Milen Kouylekov, Bernardo Magnini, Y...
AIPS
2007
15 years 9 months ago
Managing Personal Tasks with Time Constraints and Preferences
This paper treats the problem of managing personal tasks, through an adaptation of the Squeaky Wheel Optimization (SWO) framework, enhanced with powerful heuristics and full const...
Ioannis Refanidis
WSC
2007
15 years 9 months ago
Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
Mickaël Bureau, Stéphane Dauzèr...
BIRTHDAY
2008
Springer
15 years 8 months ago
Transformations in Reconfigurable Place/Transition Systems
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Ju...