7109 search results - page 158 / 1422 » Process Algebra with Combinators |
125
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
113
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Speaker diarization of meetings recorded with Multiple Distant Microphones makes extensive use of multiple feature streams like MFCC and Time Delay of Arrivals (TDOA). Typically t...
207
Voted
ICDE
1999
IEEE
16 years 4 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
132
Voted
CIDR
2009
15 years 4 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
132
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...