Sciweavers

742 search results - page 54 / 149
» Model Independent Order Relations for Processes
Sort
View
JOLLI
2002
109views more  JOLLI 2002»
14 years 11 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
SIGMOD
1990
ACM
122views Database» more  SIGMOD 1990»
15 years 3 months ago
Access Support in Object Bases
In this work access support relataons are introduced as a means for optlmizmg query processing m object-oriented database systems The general idea 1s to mamtam redundant separate ...
Alfons Kemper, Guido Moerkotte
DAGSTUHL
2006
15 years 1 months ago
A System for Object Class Detection
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
Daniela Hall
LREC
2008
92views Education» more  LREC 2008»
15 years 1 months ago
Automatic Phone Segmentation of Expressive Speech
In order to improve the flexibility and the precision of an automatic phone segmentation system for a type of expressive speech, the dubbing into French of fiction movies, we deve...
Laure Charonnat, Gaëlle Vidal, Olivier Bo&eum...
ICML
2009
IEEE
16 years 19 days ago
Detecting the direction of causal time series
We propose a method that detects the true direction of time series, by fitting an autoregressive moving average model to the data. Whenever the noise is independent of the previou...
Arthur Gretton, Bernhard Schölkopf, Dominik J...