Sciweavers

251 search results - page 14 / 51
» Using self-dissimilarity to quantify complexity
Sort
View
AIME
2009
Springer
15 years 5 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 6 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
JOLLI
2008
67views more  JOLLI 2008»
15 years 1 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
FORTE
2008
15 years 2 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...
JAR
2006
236views more  JAR 2006»
15 years 1 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