845 search results - page 37 / 169 » Connecting Many-Sorted Theories |
INFSOF
2008
13 years 8 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
JMLR
2011
13 years 3 months ago
2011
This review focuses on dynamic causal analysis of functional magnetic resonance (fMRI) data to infer brain connectivity from a time series analysis and dynamical systems perspecti...
IACR
2011
12 years 8 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...