4485 search results - page 236 / 897 » Equivalences on Observable Processes |
103
click to vote
NOLISP
2007
Springer
15 years 10 months ago
2007
Springer
Classical objective criteria evaluate speech quality using one quantity which embed all possible kind of degradation. For speech denoising applications, there is a great need to d...
125
Voted
TSD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The orthography of many resource-scarce languages includes diacritically marked characters. Falling outside the scope of the standard Latin encoding, these characters are...
143
click to vote
KES
2004
Springer
15 years 9 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
131
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
This tutorial focuses on the task of automated information linking in text and multimedia sources. In any task where information is fused from different sources, this linking is ...
126
Voted
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...