29046 search results - page 286 / 5810 » Computable Models |
133
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
115
click to vote
IJCV
2006
15 years 4 months ago
2006
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
161
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
125
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We discuss a number of fundamental areas in which biologically inspired computing has so far failed to mirror biological reality. These failures make it difficult for those who st...
138
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...