Sciweavers

1422 search results - page 190 / 285
» Complementation in Abstract Interpretation
Sort
View
132
Voted
TON
2008
102views more  TON 2008»
15 years 3 months ago
Internet traffic behavior profiling for network security monitoring
Abstract--Recent spates of cyber-attacks and frequent emergence of applications affecting Internet traffic dynamics have made it imperative to develop effective techniques that can...
Kuai Xu, Zhi-Li Zhang, Supratik Bhattacharyya
90
Voted
TSP
2008
115views more  TSP 2008»
15 years 3 months ago
Robustness of Adaptive Narrowband Beamforming With Respect to Bandwidth
Abstract--This paper addresses the robustness of adaptive narrowband beamforming with respect to bandwidth based on the loss of performance in terms of signal-to-interference-plus-...
Marc Oudin, Jean Pierre Delmas
138
Voted
UAIS
2002
100views more  UAIS 2002»
15 years 3 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
113
Voted
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
15 years 2 months ago
Maximum likelihood mapping with spectral image registration
Abstract— A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based...
Max Pfingsthorn, Andreas Birk 0002, Sören Sch...
107
Voted
JOLLI
2010
107views more  JOLLI 2010»
15 years 2 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta