1763 search results - page 69 / 353 » A Formalization of Polytime Functions |
PRIMA
2009
Springer
15 years 4 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
DOCENG
2006
ACM
15 years 3 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
TCC
2005
Springer
15 years 3 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
DAGSTUHL
2004
14 years 11 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...