291 search results - page 19 / 59 » Linear Types for Packet Processing |
DAGM
2008
Springer
13 years 9 months ago
2008
Springer
Performance of speech recognition systems strongly degrades in the presence of background noise, like the driving noise in the interior of a car. We compare two different Kalman fi...
JOLLI
2002
13 years 7 months ago
2002
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 ...
PAMI
2008
2008
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
13 years 7 months ago
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
An optimization query asks for one or more data objects that maximize or minimize some function over the data set. We propose a general class of queries, model-based optimization ...
PARELEC
2002
IEEE
14 years 14 days ago
2002
IEEE
In this paper, we investigate the worst case performance of Earliest Due Date algorithm when applied to packet scheduling in distributed systems. We assume that the processing ele...