Sciweavers

617 search results - page 100 / 124
» A novel criticality computation method in statistical timing...
Sort
View
ECAI
2008
Springer
14 years 12 months ago
Structure Learning of Markov Logic Networks through Iterated Local Search
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
Marenglen Biba, Stefano Ferilli, Floriana Esposito
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
15 years 4 months ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...
ICPR
2006
IEEE
15 years 4 months ago
HMM-based Human Action Recognition Using Multiview Image Sequences
In this paper, we present a novel method for human action recognition from any arbitrary view image sequence that uses the Cartesian component of optical flow velocity and human ...
Mohiuddin Ahmad, Seong-Whan Lee
BMCBI
2007
112views more  BMCBI 2007»
14 years 10 months ago
PFAAT version 2.0: A tool for editing, annotating, and analyzing multiple sequence alignments
Background: By virtue of their shared ancestry, homologous sequences are similar in their structure and function. Consequently, multiple sequence alignments are routinely used to ...
Daniel R. Caffrey, Paul H. Dana, Vidhya Mathur, Ma...
HICSS
2002
IEEE
148views Biometrics» more  HICSS 2002»
15 years 3 months ago
Barriers to a Wide-Area Trusted Network Early Warning System for Electric Power Disturbances
It is apparent that perturbations of the North American electric power grid follow the patterns and characteristics of Self Organized Critical (SOC) systems. Published studies sho...
Paul W. Oman, Jeff Roberts