561 search results - page 67 / 113 » How to operate a PC without using the hands |
103
click to vote
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
106
click to vote
LISA
2007
15 years 3 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
125
click to vote
MOBISYS
2011
ACM
14 years 4 months ago
2011
ACM
The explosive growth of the mobile application market has made it a significant challenge for the users to find interesting applications in crowded App Stores. To alleviate this...
SIGMETRICS
1999
ACM
15 years 5 months ago
1999
ACM
In this paper, we examine the availability and utility of idle memory in workstation clusters. We attempt to answer the following questions. First, how much of the total memory in...