Sciweavers

5055 search results - page 148 / 1011
» Relative Timing
Sort
View
SIAMDM
2008
105views more  SIAMDM 2008»
15 years 4 months ago
A Simple Linear Time LexBFS Cograph Recognition Algorithm
Recently lexicographic breadth first search (LexBFS) has been shown to be a very powerful tool for the development of linear time, easily implementable recognition algorithms for v...
Anna Bretscher, Derek G. Corneil, Michel Habib, Ch...
169
Voted
SG
2010
Springer
15 years 4 months ago
Event Line View: Interactive Visual Analysis of Irregular Time-Dependent Data
Abstract. In this paper we present a novel approach to visualize irregularly occurring events. We introduce the event line view designed specifically for such events data (a subset...
Kresimir Matkovic, Alan Lez, Denis Gracanin, Andre...
TCS
2011
15 years 1 months ago
A semantic measure of the execution time in linear logic
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
Daniel de Carvalho, Michele Pagani, Lorenzo Tortor...
ATMOS
2011
261views Optimization» more  ATMOS 2011»
14 years 6 months ago
On the Utilisation of Fuzzy Rule-Based Systems for Taxi Time Estimations at Airports
The primary objective of this paper is to introduce Fuzzy Rule-Based Systems (FRBSs) as a relatively new technology into airport transportation research, with a special emphasis o...
Jun Chen, Stefan Ravizza, Jason A. D. Atkin, Paul ...
AAAI
2012
13 years 8 months ago
Learning Behavior Models for Hybrid Timed Systems
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
Oliver Niggemann, Benno Stein, Asmir Vodencarevic,...