832 search results - page 39 / 167 » Characteristic Patterns for LTL |
MUE
2009
IEEE
15 years 6 months ago
2009
IEEE
In theory, peer-to-peer (P2P) based streaming designs and simulations provide a promising alternative to serverbased streaming systems both in cost and scalability. In practice ho...
ERCIMDL
2003
Springer
15 years 5 months ago
2003
Springer
Many readers annotate passages that are important to their work. If we understand the relationship between the types of marks on a passage and the passage’s ultimate utility in a...
VRST
1999
ACM
15 years 4 months ago
1999
ACM
Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and arou...
106
click to vote
PRL
2007
14 years 11 months ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...