11580 search results - page 60 / 2316 » Communication vs. Computation |
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
WIOPT
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— In this paper we investigate Radio Resource Management strategies for multimedia networks driven by economic aspects such as users’ utility and service pricing. To th...
ICIAP
2003
ACM
14 years 3 months ago
2003
ACM
Principal Components Analysis (PCA) has been one of the most applied methods for face verification using only 2D information, in fact, PCA is practically the method of choice for ...
ASPLOS
2000
ACM
14 years 2 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
KI
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...