Sciweavers

2694 search results - page 328 / 539
» A Description Logic of Change
Sort
View
SIGCOMM
2010
ACM
15 years 6 months ago
ASTUTE: detecting a different class of traffic anomalies
When many flows are multiplexed on a non-saturated link, their volume changes over short timescales tend to cancel each other out, making the average change across flows close to ...
Fernando Silveira, Christophe Diot, Nina Taft, Ram...
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 6 months ago
Constructing Active Architectures in the ArchWare ADL
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
IDEAL
2010
Springer
15 years 5 months ago
Analysing Satellite Image Time Series by Means of Pattern Mining
Abstract. Change detection in satellite image time series is an important domain with various applications in land study. Most previous works proposed to perform this detection by ...
François Petitjean, Pierre Gançarski...
TIP
2010
155views more  TIP 2010»
15 years 1 months ago
Multiframe Super-Resolution Reconstruction of Small Moving Objects
Multiframe super-resolution (SR) reconstruction of small moving objects against a cluttered background is difficult for two reasons: a small object consists completely of "mix...
Adam W. M. van Eekeren, Klamer Schutte, Lucas J. v...
CADE
2008
Springer
16 years 6 months ago
Automata-Based Axiom Pinpointing
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
Franz Baader, Rafael Peñaloza