Sciweavers

1539 search results - page 244 / 308
» Fast and Simple Methods For Computing Control Points
Sort
View
WBIR
2010
SPRINGER
13 years 11 months ago
Continuity Order of Local Displacement in Volumetric Image Sequence
Abstract. We introduce a method for volumetric cardiac motion analysis using variational optical flow computation involving the prior with the fractional order differentiations. ...
Koji Kashu, Yusuke Kameda, Masaki Narita, Atsushi ...
CORR
2011
Springer
137views Education» more  CORR 2011»
13 years 2 months ago
Existential witness extraction in classical realizability and via a negative translation
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...
Alexandre Miquel
ANCS
2008
ACM
13 years 9 months ago
Implementing an OpenFlow switch on the NetFPGA platform
We describe the implementation of an OpenFlow Switch on the NetFPGA platform. OpenFlow is a way to deploy experimental or new protocols in networks that carry production traffic. ...
Jad Naous, David Erickson, G. Adam Covington, Guid...
CSB
2003
IEEE
121views Bioinformatics» more  CSB 2003»
14 years 1 months ago
Epitope Prediction Algorithms for Peptide based Vaccine Design
Peptide-based vaccines, in which small peptides derived from target proteins (epitopes) are used to provoke an immune reaction, have attracted considerable attention recently as a...
Liliana Florea, Bjarni V. Halldórsson, Oliv...
DOCENG
2009
ACM
14 years 2 months ago
Differential synchronization
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
Neil Fraser