6279 search results - page 1254 / 1256 » Objects as session-typed processes |
195
click to vote
ICLP
2011
Springer
14 years 8 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
201
click to vote
KCAP
2011
ACM
14 years 7 months ago
2011
ACM
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
139
click to vote
NETWORK
2011
14 years 7 months ago
2011
Traffic monitoring is a critical network operation for the purpose of traffic accounting, debugging or troubleshooting, forensics, and traffic engineering. Existing techniques for...
178
click to vote
SDM
2011
SIAM
14 years 7 months ago
2011
SIAM
In many real world prediction problems the output is a structured object like a sequence or a tree or a graph. Such problems range from natural language processing to computationa...
195
click to vote
SIGIR
2011
ACM
14 years 7 months ago
2011
ACM
As the Internet grows explosively, search engines play a more and more important role for users in effectively accessing online information. Recently, it has been recognized that ...