7106 search results - page 1016 / 1422 » Restricted Complexity, General Complexity |
195
click to vote
FOCS
2003
IEEE
16 years 5 days ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
159
click to vote
GLVLSI
2003
IEEE
16 years 5 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
192
click to vote
GLVLSI
2003
IEEE
16 years 5 days ago
2003
IEEE
It is likely that it will become increasingly difficult to manufacture the complex, heterogeneous logic structures that characterise current reconfigurable logic systems. As a res...
157
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
122
click to vote
ICAT
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...