1146 search results - page 148 / 230 » Semantics of Data Streams and Operators |
220
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
139
Voted
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
125
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...
147
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
146
Voted
FORTE
2001
15 years 5 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...