Sciweavers

1024 search results - page 126 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
13 years 11 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
AIEDAM
2008
106views more  AIEDAM 2008»
13 years 8 months ago
Analogical recognition of shape and structure in design drawings
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...
Patrick W. Yaner, Ashok K. Goel
VTC
2010
IEEE
172views Communications» more  VTC 2010»
13 years 6 months ago
A Cumulant-Based Characterization of the Aggregate Interference Power in Wireless Networks
— The importance of characterizing the aggregate interference power generated by a wireless network has increased with the emergence of different types of wireless networks such ...
Muhammad Aljuaid, Halim Yanikomeroglu
IADIS
2009
13 years 5 months ago
Semantically distinct verb classes involved in sentiment analysis
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
CVPR
2007
IEEE
14 years 10 months ago
Closed-Loop Tracking and Change Detection in Multi-Activity Sequences
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
Bi Song, Namrata Vaswani, Amit K. Roy Chowdhury