7066 search results - page 339 / 1414 » Contact Relations with Applications |
177
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
For the first time since computers are around, the major pieces of the puzzle are in place to deliver interactive 3D to the average end user. Yet, with the exception of games and ...
180
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
202
click to vote
CANPC
1998
Springer
15 years 11 months ago
1998
Springer
In many parallel processing applications, task times have relatively little variability. Accordingly, many nodes will complete a task at approximately the same time. If the applica...
141
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
A new approach to comparison of dynamic meshes based on Hausdorff distance is presented along with examples of application of such metric. The technique presented is based on repre...
168
click to vote
ACL
1998
15 years 8 months ago
1998
The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the...