3994 search results - page 248 / 799 » A Linear Logical Framework |
145
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
— Calibration is the procedure of quantifying mechanical deficiencies of machines and compensating them by appropriate adjustment. This paper introduces a modelbased measurement...
166
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
175
Voted
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
225
click to vote
PCM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The multi-view video is a collection of multiple videos capturing the same scene at different viewpoints. Since the data size of the multi-view video linearly increases ...
171
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
The focus of this paper is to extend the lifetime of a battery powered node in wireless context. The lifetime of a battery depends on both the manner of discharge and the transmis...