7811 search results - page 357 / 1563 » computer 2004 |
151
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
160
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
168
click to vote
FLOPS
2004
Springer
16 years 1 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
160
click to vote
AINA
2005
IEEE
16 years 8 days ago
2005
IEEE
2004, Chang et al. suggested an approach that solves the problem of secret sharing with access structures in a hierarchy. They used the concept of discrete logarithmto reuse shado...
166
click to vote
CSCW
2004
ACM
16 years 2 days ago
2004
ACM
Maintaining social awareness of the working context of fellow coworkers is crucial to successful cooperation. For mobile, non colocated workers, however, this social awareness is ...