Sciweavers

1167 search results - page 37 / 234
» On the Evaluation of Entity Profiles
Sort
View
ADAEUROPE
2008
Springer
13 years 10 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
EDBT
2009
ACM
116views Database» more  EDBT 2009»
14 years 1 months ago
Ranking objects based on relationships and fixed associations
Text corpora are often enhanced by additional metadata which relate real-world entities, with each document in which such entities are discussed. Such relationships are typically ...
Albert Angel, Surajit Chaudhuri, Gautam Das, Nick ...
BMCBI
2005
93views more  BMCBI 2005»
13 years 8 months ago
Computing expectation values for RNA motifs using discrete convolutions
Background: Computational biologists use Expectation values (E-values) to estimate the number of solutions that can be expected by chance during a database scan. Here we focus on ...
André Lambert, Matthieu Legendre, Jean-Fred...
ECIS
2011
12 years 8 months ago
Adaptive persuasive messages in an e-commerce setting: the use of persuasion profiles
Technologies that are intentionally designed to change a person’s attitude or behaviors are emergent. Designers of these technologies frequently use implementations of influence...
Maurits Kaptein
TMA
2010
Springer
150views Management» more  TMA 2010»
13 years 6 months ago
A Database of Anomalous Traffic for Assessing Profile Based IDS
This paper aims at proposing a methodology for evaluating current IDS capabilities of detecting attacks targeting the networks and their services. This methodology tries to be as r...
Philippe Owezarski