ing Numerical Values in CLP(H,N) Gerda Janssens1, Maurice Bruynooghe1, Vincent Englebert2 1 Department of Computer Science, K.U. Leuven Celestijnenlaan 200A, B-3001 Heverlee, Belgium 2 Institut d'Informatique, Facult es Universitaires Notre Dame de la Paix rue GrandGagnage 21, B-5000 Namur, Belgium Abstract. The paper de nes approximations for the numerical leaves of variables in CLP(H,N) const...

In previous work, the timed logic TCTL was extended with an “almost everywhere” Until modality which abstracts negligible sets of positions (i.e. with a null duration) along a run of a timed automaton. We propose here an extension of this logic with more powerful modalities, in order to specify properties abstracting transient states, which are events that last for less than k time units. Our m...

ing Modelling Languages: A Reutilization Approach Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado Universidad Autónoma de Madrid (Spain) {Juan.deLara, Esther.Guerra, Jesus.Sanchez.Cuadrado}@uam.es Abstract. Model-Driven Engineering automates the development of information systems. This approach is based on the use of Domain-Specific Modelling Languages (DSMLs) for the description of the...

s and Abstracting in Knowledge Discovery MARIA PINTO AND F.W. LANCASTER María Pinto, Departamento de Biblioteconomía y Documentación, Universidad de Granada, 18071 Granada, Spain. F.W. Lancaster, Graduate School of Library and Information Science, University of Illinois

The use of abstraction in problem solving is an effective approach to reducing search, but finding good abstractions is a difficult problem. The first algorithm that completely automates the generation of abstraction hierarchies is Knoblock’s ALPINE, but this algorithm is only able to automatically abstract the preconditions of operators. In this paper we present an algorithm that automatically...

Presented is an algorithm for automatic production of a video abstract of a feature film, similar to a movie trailer. It selects clips from the original movie based on detection of special events like dialogs, shots, explosions and text occurrences, and on general action indicators applied to scenes. These clips are then assembled to form a video trailer using a model of editing. Additional cli...

We address the challenge of automatically abstracting conversations such as face-to-face meetings and emails. We focus here on the stages of interpretation, where sentences are mapped to a conversation ontology, and transformation, where the summary content is selected. Our approach is fully developed and tested on meeting speech, and we subsequently explore its application to email conversations.

ing time away (and still having it) Simin Nadjm-Tehrani Dept. of Computer and Information Science, Link oping University [[email protected]]

The alarming growth of data center power consumption has led to a surge in research activity on data center energy efficiency. Though myriad, most existing energy-efficiency efforts focus narrowly on a single data center subsystem. Sophisticated power management increases dynamic power ranges and can lead to complex interactions among IT, power, and cooling systems. However, reasoning about tot...

ing Common Business Rules to Petri