194 search results - page 13 / 39 » A Model for Temporal Interval Authorizations |
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
ASIAN
2000
Springer
14 years 9 hour ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
SMA
1997
ACM
13 years 12 months ago
1997
ACM
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
: In this paper, we present a novel method for fast data-driven construction of regression trees from temporal datasets including continuous data streams. The proposed Mean Output ...
AUTOMATICA
2007
13 years 7 months ago
2007
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...