Sciweavers

264 search results - page 4 / 53
» Partially Reflected Diffusion
Sort
View
CAIP
2009
Springer
248views Image Analysis» more  CAIP 2009»
13 years 11 months ago
Rapid Inference of Object Rigidity and Reflectance Using Optic Flow
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
Di Zang, Katja Doerschner, Paul R. Schrater
CDC
2010
IEEE
137views Control Systems» more  CDC 2010»
12 years 11 months ago
On the uniform input-to-state stability of reaction-diffusion systems
Abstract— In the present paper we consider uniform inputto-state stability of reaction-diffusion equations and compare it with its finite dimensional counterpart without diffusi...
Sergey Dashkovskiy, Andrii Mironchenko
TPHOL
2000
IEEE
13 years 11 months ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
ECIS
2003
13 years 9 months ago
E-learning and SMEs: do demand and supply speak the same language?
This paper reports on research-in-progress designed to understand adoption and diffusion of e-learning (EL) among small and medium-sized enterprises (SMEs) in northern Italy. The ...
Paola Bielli, Jane E. Klobas
ECOOP
1998
Springer
13 years 12 months ago
Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
Hidehiko Masuhara, Akinori Yonezawa