1788 search results - page 124 / 358 » Model Theory for Process Algebra |
131
Voted
CORR
2010
Springer
15 years 3 months 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...
144
Voted
WWW
2005
ACM
16 years 4 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...
115
click to vote
PDC
2004
ACM
15 years 9 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...
154
Voted
CSSC
2008
15 years 3 months 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...
128
Voted
CORR
2004
Springer
15 years 3 months 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...