749 search results - page 6 / 150 » Combinatory Models and Symbolic Computation |
113
Voted
AIPS
1994
15 years 5 months ago
1994
In this work we present an approach to solving time-critical decision-making problems by taking advantage of domain structure to expand the amountof time available for processing ...
132
Voted
JCS
2010
15 years 2 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
145
Voted
IEEEICCI
2008
IEEE
15 years 10 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
140
Voted
DAGSTUHL
2008
15 years 5 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
139
Voted
DISOPT
2007
15 years 3 months ago
2007
We investigate the computational complexity of a combinatorial problem that arises in DNA sequencing by hybridization: The input consists of an integer together with a set S of wo...