Sciweavers

2994 search results - page 255 / 599
» Time sequences
Sort
View
JELIA
1994
Springer
15 years 8 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
ISAAC
1999
Springer
91views Algorithms» more  ISAAC 1999»
15 years 8 months ago
Convexifying Monotone Polygons
This paper considers recon gurations of polygons, where each polygon edge is a rigid link, no two of which can cross during the motion. We prove that one can recon gure any monoton...
Therese C. Biedl, Erik D. Demaine, Sylvain Lazard,...
KDD
2004
ACM
124views Data Mining» more  KDD 2004»
16 years 4 months ago
Eigenspace-based anomaly detection in computer systems
We report on an automated runtime anomaly detection method at the application layer of multi-node computer systems. Although several network management systems are available in th...
Hisashi Kashima, Tsuyoshi Idé
TIME
2009
IEEE
15 years 11 months ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
Roger Villemaire, Sylvain Hallé
PIMRC
2008
IEEE
15 years 11 months ago
Four-way TOA and software-based trilateration of IEEE 802.11 devices
—In this paper we present an algorithm that measures the round trip times of IEEE 802.11 MAC packets in order to trilaterate WLAN nodes. We show that if we use packet sequences (...
Christian Hoene, Jörg Willmann