9405 search results - page 77 / 1881 » Computing a Model of Set Theory |
207
click to vote
FOSSACS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
168
click to vote
STACS
2000
Springer
15 years 10 months ago
2000
Springer
We show that there is a set that is almost complete but not complete under polynomial-time many-one (p-m) reductions for the class E of sets computable in deterministic time 2lin ...
150
click to vote
ICPR
2006
IEEE
16 years 19 days ago
2006
IEEE
Different features carry more or less rich and varied pieces of information to characterize a pattern. The fusion of these different sources of information can provide an opportun...
203
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Communication between humans is rich in complexity and is not limited to verbal signals; emotions are conveyed with gesture, pose and facial expression. Facial Emotion Recognition ...
150
click to vote
JCP
2007
15 years 6 months ago
2007
— This work presents a mathematical framework for the development of efficient algorithms for cyclic convolution computations. The framework is based on the Chinese Reminder Theo...