1788 search results - page 124 / 358 » Model Theory for Process Algebra |
107
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
115
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
88
Voted
PDC
2004
ACM
15 years 6 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
124
Voted
CSSC
2008
15 years 26 days ago
2008
The interest in inference in the wavelet domain remains vibrant area of statistical research because of needs of scientific community to process and explore massive data sets. Prim...
102
Voted
CORR
2004
Springer
15 years 19 days ago
2004
Springer
Mapping the Internet generally consists in sampling the network from a limited set of sources by using traceroute-like probes. This methodology, akin to the merging of different s...