4353 search results - page 164 / 871 » Expressiveness of Process Algebras |
151
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
135
click to vote
ICA
2007
Springer
15 years 10 months ago
2007
Springer
The discussion in this paper revolves around the notion of separation problems. The latter can be thought of as a unifying concept which includes a variety of important problems in...
170
click to vote
BDA
2004
15 years 5 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
144
click to vote
ENTCS
2002
15 years 4 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
140
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
The variation of facial texture and surface due to the change of expression is an important cue for analyzing and modeling facial expressions. In this paper, we propose a new appr...