Sciweavers

672 search results - page 104 / 135
» On representing variation
Sort
View
137
Voted
DBSEC
2009
122views Database» more  DBSEC 2009»
15 years 4 months ago
An Approach to Security Policy Configuration Using Semantic Threat Graphs
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
Simon N. Foley, William M. Fitzgerald
124
Voted
ICML
2010
IEEE
15 years 4 months ago
Learning Markov Logic Networks Using Structural Motifs
Markov logic networks (MLNs) use firstorder formulas to define features of Markov networks. Current MLN structure learners can only learn short clauses (4-5 literals) due to extre...
Stanley Kok, Pedro Domingos
84
Voted
ICASSP
2010
IEEE
15 years 3 months ago
Preserving the character of perturbations in scaled pitch contours
The global and fine dynamic components of a pitch contour in voice production, as in the speaking and singing voice, are important for both the meaning and character of an utteran...
Thomas Baran, Nicolas Malyska, Thomas F. Quatieri
123
Voted
BIBE
2007
IEEE
15 years 3 months ago
Hot and Cold: Spatial Fluctuation in HIV-1 Recombination Rates
Coinfection ofa single cell with two or more HIVstrains may produce recombinant viruses upon template switching by the replication machinery. We applied a hierarchical multiple ch...
Misha L. Rajaram, Vladimir N. Minin, Marc A. Sucha...
128
Voted
APAL
2007
79views more  APAL 2007»
15 years 3 months ago
A completeness result for a realisability semantics for an intersection type system
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
Fairouz Kamareddine, Karim Nour