4485 search results - page 285 / 897 » Equivalences on Observable Processes |
160
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
152
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
114
click to vote
ACL
2004
15 years 6 months ago
2004
Most foreign names are transliterated into Chinese, Japanese or Korean with approximate phonetic equivalents. The transliteration is usually achieved through intermediate phonemic...
204
Voted
CSAC
2006
15 years 6 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
129
click to vote
ACL
1998
15 years 5 months ago
1998
Rich mark-up can considerably benefit the process of establishing bitext correspondences, that is, the task of providing correct identification and alignment methods for text segm...