738 search results - page 89 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
133
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The ability of a computer to detect and appropriately respond to changes in a user’s affective state has significant implications to Human-Computer Interaction (HCI). To more ac...
131
click to vote
CAD
2004
Springer
15 years 3 months ago
2004
Springer
Given a nonsingular compact two-manifold F without boundary, we present methods for establishing a family of surfaces which can approximate F so that each approximant is ambient i...
107
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Circulant matrices play a central role in a recently proposed formulation of three-way data computations. In this setting, a three-way table corresponds to a matrix where each “...
166
click to vote
SIGMETRICS
2012
ACM
13 years 6 months ago
2012
ACM
Latency has become an important metric for network monitoring since the emergence of new latency-sensitive applications (e.g., algorithmic trading and high-performance computing)....
160
click to vote
SPAA
2004
ACM
15 years 9 months ago
2004
ACM
We address a hierarchical generalization of the well-known disk paging problem. In the hierarchical cooperative caching problem, a set of n machines residing in an ultrametric spa...