Sciweavers

2299 search results - page 91 / 460
» Logical Data Expiration
Sort
View
120
Voted
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 9 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
HUMO
2007
Springer
15 years 9 months ago
Recognizing Activities with Multiple Cues
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
Rahul Biswas, Sebastian Thrun, Kikuo Fujimura
134
Voted
ISMVL
2000
IEEE
98views Hardware» more  ISMVL 2000»
15 years 8 months ago
Implementation of Multiple-Output Functions Using PQMDDs
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura
121
Voted
SLIP
2000
ACM
15 years 8 months ago
Prediction of interconnect fan-out distribution using Rent's rule
Based on Rent’s rule, a well-established empirical relationship, a rigorous derivation of the interconnect fan-out distribution for random logic networks is performed. Through c...
Payman Zarkesh-Ha, Jeffrey A. Davis, William Loh, ...
ENTCS
2007
109views more  ENTCS 2007»
15 years 3 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier