Sciweavers

2570 search results - page 172 / 514
» Reliability Modeling Using UML
Sort
View
ICCV
2009
IEEE
16 years 3 months ago
Modelling Activity Global Temporal Dependencies using Time Delayed Probabilistic Graphical Model
We present a novel approach for detecting global behaviour anomalies in multiple disjoint cameras by learning time delayed dependencies between activities cross camera views. Sp...
Chen Change Loy, Tao Xiang and Shaogang Gong
TREC
2007
14 years 11 months ago
Exploring Traits of Adjectives to Predict Polarity Opinion in Blogs and Semantic Filters in Genomics
: This paper presents the results of our team in the Genomics and Blog tracks in TREC 2007. We used the language model implementation provided by Indri for both tracks. For the BLO...
Miguel E. Ruiz, Ying Sun, Jianqiang Wang, Hongfang...
FMICS
2007
Springer
15 years 4 months ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
DAC
2006
ACM
15 years 11 months ago
MARS-C: modeling and reduction of soft errors in combinational circuits
Due to the shrinking of feature size and reduction in supply voltages, nanoscale circuits have become more susceptible to radiation induced transient faults. In this paper, we pre...
Natasa Miskov-Zivanov, Diana Marculescu
DATE
2003
IEEE
133views Hardware» more  DATE 2003»
15 years 3 months ago
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
Marco Göltze