832 search results - page 14 / 167 » Characteristic Patterns for LTL |
AIPS
2007
14 years 1 days ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
VLDB
2005
ACM
14 years 3 months ago
2005
ACM
Patterns represent in a compact and rich in semantics way huge quantity of heterogeneous data. Due to their characteristics, specific systems are required for pattern management,...
EDBT
2006
ACM
14 years 9 months ago
2006
ACM
Abstract. Mobile objects have become ubiquitous in our everyday lives, ranging from cellular phones to sensors, therefore, analyzing and mining mobile data becomes an interesting p...
WRLA
2010
13 years 8 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
WSCG
2004
13 years 11 months ago
2004
: Animal fibers have variety in their longitudinal sections. The main difference of the longitudinal section of these fibers is the geometry and dimension of scale patterns, which ...