Sciweavers

3342 search results - page 349 / 669
» Automating Abstract Interpretation
Sort
View
TFS
2008
117views more  TFS 2008»
15 years 4 months ago
A New Fuzzy Set Merging Technique Using Inclusion-Based Fuzzy Clustering
Abstract--This paper proposes a new method of merging parameterized fuzzy sets based on clustering in the parameters space, taking into account the degree of inclusion of each fuzz...
Samia Nefti, Mourad Oussalah, Uzay Kaymak
TON
2008
102views more  TON 2008»
15 years 4 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
TSP
2008
115views more  TSP 2008»
15 years 4 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
148
Voted
UAIS
2002
100views more  UAIS 2002»
15 years 4 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...
112
Voted
JOLLI
2010
107views more  JOLLI 2010»
15 years 3 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