832 search results - page 4 / 167 » Characteristic Patterns for LTL |
IEICET
2007
13 years 7 months ago
2007
In recent years, wireless communications, such as wireless LAN and Bluetooth, are widely spreading. As the antennas used in wireless communications are usually installed in small ...
LATA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
IPPS
2002
IEEE
14 years 8 days ago
2002
IEEE
This paper examines the explicit communication characteristics of several sophisticated scientific applications, which, by themselves, constitute a representative suite of publicl...
ICUIMC
2009
ACM
14 years 1 months ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Within the last two decades, Receiver Operating Characteristic (ROC) Curves have become a standard tool for the analysis and comparison of classifiers since they provide a conveni...