Sciweavers

2414 search results - page 355 / 483
» Computing Normal Subgroups
Sort
View
IJAR
2010
91views more  IJAR 2010»
15 years 19 days ago
Logical and algorithmic properties of stable conditional independence
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
Mathias Niepert, Dirk Van Gucht, Marc Gyssens
141
Voted
IJON
2010
139views more  IJON 2010»
15 years 19 days ago
Event monitoring via local motion abnormality detection in non-linear subspace
We present a computational approach to abnormal visual event detection, which is based on exploring and modeling local motion patterns in a non-linear subspace. We use motion vect...
Ioannis Tziakos, Andrea Cavallaro, Li-Qun Xu
121
Voted
RAID
2010
Springer
15 years 17 days ago
Automatic Discovery of Parasitic Malware
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
Abhinav Srivastava, Jonathon T. Giffin
145
Voted
RECOMB
2010
Springer
15 years 17 days ago
Detecting Highways of Horizontal Gene Transfer
Abstract. In a horizontal gene transfer (HGT) event a gene is transferred between two species that do not share an ancestor-descendant relationship. Typically, no more than a few g...
Mukul S. Bansal, J. Peter Gogarten, Ron Shamir
WOLLIC
2010
Springer
15 years 15 days ago
Intersection Type Systems and Explicit Substitutions Calculi
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
Daniel Lima Ventura, Mauricio Ayala-Rincón,...