124 search results - page 6 / 25 » Relational analysis of algebraic datatypes |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
FUIN
2006
13 years 7 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
ICPR
2002
IEEE
14 years 18 days 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...
CSFW
2000
IEEE
14 years 2 days ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...