10718 search results - page 591 / 2144 » On the Circuit Implementation Problem |
146
click to vote
PRL
2006
15 years 7 months ago
2006
We present a maximum a posteriori solution to the problem of obtaining a high-resolution image from a set of degraded low-resolution images of the same scene. The proposed algorit...
163
click to vote
CSL
2005
Springer
16 years 23 days ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
169
click to vote
ICCS
2004
Springer
16 years 18 days ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
197
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
187
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...