4353 search results - page 86 / 871 » Expressiveness of Process Algebras |
134
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we proposes an effective and novel approach to recognize subtle facial expression method which is facial expression deformation. The proposed method deforms subtle ...
131
click to vote
FCT
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
167
click to vote
PDS
1996
15 years 5 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
133
Voted
PEPM
2010
ACM
16 years 25 days ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
122
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— A spreadsheet-like “direct manipulation” interface is more intuitive for many non-technical database users compared to traditional alternatives, such as visual query builde...