2253 search results - page 35 / 451 » Computing with Realizational Morphology |
145
click to vote
COMPSYSTECH
2009
15 years 1 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
134
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
130
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
217
click to vote
MOBILWARE
2009
ACM
15 years 10 months ago
2009
ACM
We discuss a generic architecture for building user-centric systems. The characteristic feature of such systems is a control loop that monitors the user’s state, and produces a h...
140
click to vote
SIPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Belief propagation has become a popular technique for solving computer vision problems, such as stereo estimation and image denoising. However, it requires large memory and bandwi...