4353 search results - page 103 / 871 » Expressiveness of Process Algebras |
128
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
138
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Natural images are the composite consequence of multiple factors related to scene structure, illumination, and imaging. For facial images, the factors include different facial geo...
154
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
123
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
146
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...