1636 search results - page 191 / 328 » Type-Theoretic Functional Semantics |
129
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
The problem of version detection is critical in many important application scenarios, including software clone identification, Web page ranking, plagiarism detection, and peer-to-...
126
click to vote
ECOWS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Matching of semantic service descriptions is the key to automatic service discovery and binding. Existing approaches split the matchmaking process in two step: signature ...
117
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
147
click to vote
ITS
2000
Springer
15 years 7 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
138
click to vote
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...