Sciweavers

672 search results - page 104 / 135
» On representing variation
Sort
View
DBSEC
2009
122views Database» more  DBSEC 2009»
15 years 27 days 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
ICML
2010
IEEE
15 years 26 days 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
ICASSP
2010
IEEE
15 years 7 hour 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
90
Voted
BIBE
2007
IEEE
14 years 12 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...
APAL
2007
79views more  APAL 2007»
14 years 12 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