Sciweavers

10890 search results - page 105 / 2178
» Automatic Complexity Analysis
Sort
View
115
Voted
KDD
2009
ACM
160views Data Mining» more  KDD 2009»
15 years 9 months ago
Surveying the complementary role of automatic data analysis and visualization in knowledge discovery
The aim of this work is to survey and reflect on the various ways to integrate visualization and data mining techniques toward a mixed-initiative knowledge discovery taking the be...
Enrico Bertini, Denis Lalanne
122
Voted
FROCOS
2007
Springer
15 years 8 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
TACAS
2007
Springer
158views Algorithms» more  TACAS 2007»
15 years 8 months ago
Automatic Analysis of the Security of XOR-Based Key Management Schemes
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
Véronique Cortier, Gavin Keighren, Graham S...
ISCI
2008
129views more  ISCI 2008»
15 years 2 months ago
Thai spelling analysis for automatic spelling speech recognition
Spelling speech recognition can be applied for several purposes including enhancement of speech recognition systems and implementation of name retrieval systems. This paper presen...
Chutima Pisarn, Thanaruk Theeramunkong
IJSEKE
2006
138views more  IJSEKE 2006»
15 years 2 months ago
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
Igor Ivkovic, Kostas Kontogiannis