Sciweavers

251 search results - page 14 / 51
» Using self-dissimilarity to quantify complexity
Sort
View
AIME
2009
Springer
15 years 3 months ago
The Role of Biomedical Dataset in Classification
In this paper, we investigate the role of a biomedical dataset on the classification accuracy of an algorithm. We quantify the complexity of a biomedical dataset using five complex...
Ajay Kumar Tanwani, Muddassar Farooq
FC
2005
Springer
94views Cryptology» more  FC 2005»
15 years 5 months ago
Modeling and Preventing Phishing Attacks
We introduce tools to model and describe phishing attacks, allowing a visualization and quantification of the threat on a given complex system of web services. We use our new mod...
Markus Jakobsson
86
Voted
JOLLI
2008
67views more  JOLLI 2008»
14 years 11 months ago
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
Raffaella Bernardi, Anna Szabolcsi
91
Voted
FORTE
2008
15 years 1 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
104
Voted
JAR
2006
236views more  JAR 2006»
14 years 11 months ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard