128 search results - page 24 / 26 » Game Characterizations of Process Equivalences |
KDD
2009
ACM
14 years 8 months ago
2009
ACM
This paper addresses Named Entity Mining (NEM), in which we mine knowledge about named entities such as movies, games, and books from a huge amount of data. NEM is potentially use...
JACM
2002
13 years 7 months ago
2002
In completely symmetric systems that have homogeneous nodes (hosts, computers, or processors) with identical arrival processes, an optimal static load balancing scheme does not in...
CCR
2011
13 years 2 months ago
2011
HTTP (Hypertext Transport Protocol) was originally primarily used for human-initiated client-server communications launched from web browsers, traditional computers and laptops. H...
AC
2000
Springer
13 years 12 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
ICIAR
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper our purpose is to present some solutions to multiple object tracking in an image sequence with a real time constraint and a possible mobile camera. We propo...