30 search results - page 5 / 6 » From Proof Nets to the Free *-Autonomous Category |
WWW
2005
ACM
13 years 11 months ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
POPL
2006
ACM
14 years 6 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
KDD
2003
ACM
14 years 6 months ago
2003
ACM
Existing patient records are a valuable resource for automated outcomes analysis and knowledge discovery. However, key clinical data in these records is typically recorded in unst...
PODS
2007
ACM
14 years 6 months ago
2007
ACM
IP packet streams consist of multiple interleaving IP flows. Statistical summaries of these streams, collected for different measurement periods, are used for characterization of ...
GLVLSI
2003
IEEE
13 years 11 months ago
2003
IEEE
FPGAs, because of their re-programmability, are becoming very popular for creating and exchanging VLSI intellectual properties (IPs) in the reuse-based design paradigm. Existing w...