4895 search results - page 547 / 979 » Functional Quantum Programming |
187
Voted
SAS
2010
Springer
15 years 5 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
222
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
199
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
228
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
182
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Video inpainting is the process of repairing missing regions (holes) in videos. Most automatic techniques are computationally intensive and unable to repair large holes. To tackle...