799 search results - page 34 / 160 » Refinement and Separation Contexts |
ICIP
1999
IEEE
14 years 29 days ago
1999
IEEE
We consider the use of a static context tree for binary image compression. The contexts are stored in the leaves of a variable-depth binary tree. The tree structure itself is full...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
ECIS
2000
13 years 10 months ago
2000
Abstract - Understanding the appropriation of CSCW-Tools is key to their successful implementation. This paper explores the social and organizational appropriation of the Cuparla C...
ENTCS
2007
13 years 8 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
IAT
2009
IEEE
13 years 12 months ago
2009
IEEE
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...