2500 search results - page 191 / 500 » Specifying Behavior in C |
96
Voted
IJISEC
2002
15 years 3 months ago
2002
Remote service invocation via HTTP and XML promises to become an important component of the Internet infrastructure. Work is ongoing in the W3C XML Protocol Working Group to define...
120
Voted
CSL
1999
Springer
15 years 3 months ago
1999
Springer
This paper presents a new approach to speech synthesis in which a set of cross-word decision-tree state-clustered context-dependent hidden Markov models are used to define a set o...
108
Voted
TIT
2002
15 years 3 months ago
2002
Tight frames and rank-one quantum measurements are shown to be intimately related. In fact, the family of normalized tight frames for the space in which a quantum-mechanical system...
140
Voted
FUIN
2008
15 years 3 months ago
2008
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
124
Voted
COORDINATION
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...