Sciweavers

2223 search results - page 55 / 445
» Events in Property Patterns
Sort
View
BMCBI
2006
138views more  BMCBI 2006»
14 years 9 months ago
Approximation properties of haplotype tagging
Background: Single nucleotide polymorphisms (SNPs) are locations at which the genomic sequences of population members differ. Since these differences are known to follow patterns,...
Staal A. Vinterbo, Stephan Dreiseitl, Lucila Ohno-...
AAAI
2012
13 years 4 days ago
Modeling Textual Cohesion for Event Extraction
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...
Ruihong Huang, Ellen Riloff
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 3 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
CORR
2006
Springer
113views Education» more  CORR 2006»
14 years 9 months ago
Event Systems and Access Control
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
Dominique Méry, Stephan Merz
77
Voted
AMSTERDAM
2009
14 years 7 months ago
Pluractionality and the Unity of the Event
This paper exposes shortcomings of an analysis to single-event plural verbs (Cusic’s event-internal pluractionals) based on temporal discontinuity. It shows how to ground discont...
Lucia M. Tovena