1583 search results - page 141 / 317 » Feature Interaction Detection in the Feature Language Extens... |
127
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
146
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...
122
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
We define multi-scale moments that are estimated locally by analyzing the image through a sliding window at multiple scales. When the analysis window satisfies a two-scale relatio...
147
click to vote
IDA
2006
Springer
15 years 3 months ago
2006
Springer
Exploring the vast number of possible feature interactions in domains such as gene expression microarray data is an onerous task. We describe Backward-Chaining Rule Induction (BCR...
158
click to vote
TON
2012
13 years 6 months ago
2012
Abstract—Various low-latency anonymous communication systems such as Tor and Anonymizer have been designed to provide anonymity service for users. In order to hide the communicat...