3994 search results - page 308 / 799 » A Linear Logical Framework |
171
click to vote
HAID
2008
Springer
15 years 7 months ago
2008
Springer
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...
182
click to vote
AHSWN
2010
15 years 6 months ago
2010
The specific challenges of multihop wireles networks lead to a strong research effort on efficient protocols design where the offered capacity is a key objective. More specifically...
133
click to vote
APPML
2007
15 years 6 months ago
2007
framework Silvia Bertoluzza∗, Micol Pennacchio Istituto di Matematica Applicata e Tecnologie Informatiche del C.N.R., v. Ferrata 1, 27100 Pavia, Italy Received 16 February 2006; ...
193
click to vote
MIAR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...
180
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We introduce a dynamical model for simultaneous registration and segmentation in a variational framework for image sequences, where the dynamics is incorporated using a Bayesian f...