Sciweavers

10435 search results - page 189 / 2087
» Measuring system normality
Sort
View
ICIP
2003
IEEE
14 years 10 months ago
Surface acquisition from single gray-scale images
In this paper we show how a system for performing automatic surface model acquisition from single object views can be designed. The surface acquisition process is a two step one. ...
Antonio Robles-Kelly, Adrian G. Bors, Edwin R. Han...
POPL
2004
ACM
14 years 9 months ago
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
DATE
2005
IEEE
117views Hardware» more  DATE 2005»
14 years 2 months ago
Low Cost Task Migration Initiation in a Heterogeneous MP-SoC
Run-time task migration in a heterogeneous multiprocessor System-on-Chip (MP-SoC) is a challenge that requires cooperation between the task and the operating system. In task migra...
Vincent Nollet, Prabhat Avasare, Jean-Yves Mignole...
WSC
2007
13 years 11 months ago
Path-sampling for state-dependent importance sampling
State-dependent importance sampling (SDIS) has proved to be particularly useful in simulation (specially in rare event analysis of stochastic systems). One approach for designing ...
Jose H. Blanchet, Jingchen Liu
BDA
2006
13 years 10 months ago
Capturing well typed references in DTDs
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
Nicole Bidoit, Dario Colazzo