3690 search results - page 251 / 738 » Computation with classical sequents |
179
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Facial expression of emotion (or "facial affect") is rapidly becoming an area of intense interest in the computer science and interaction design communities. Ironically,...
166
click to vote
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
157
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. This paper presents a Parallel Hybrid Evolutionary Metaheuristic for the Period Vehicle Routing Problem PVRP. The PRVP generalizes the classical Vehicle Routing Problem b...
155
click to vote
DIS
2007
Springer
15 years 9 months ago
2007
Springer
In this work we study the mining of top-K frequent closed itemsets, a recently proposed variant of the classical problem of mining frequent closed itemsets where the support thresh...
161
click to vote
EUROCAST
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...