Sciweavers

4041 search results - page 454 / 809
» A Model of Creative Understanding
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Analysis of the zeroconf protocol using UPPAAL
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao...
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Towards the Development of a Simulator for Investigating the Impact of People Management Practices on Retail Performance
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...
ECCV
2008
Springer
16 years 8 months ago
Analysis of Building Textures for Reconstructing Partially Occluded Facades
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...
Thommen Korah, Christopher Rasmussen
ICIP
2008
IEEE
16 years 8 months ago
Graph cut segmentation of neuronal structures from transmission electron micrographs
In many neurophysiological studies, understanding the neuronal circuitry of the brain requires detailed 3D models of the nerve cells and their synapses. Typically, researchers bui...
Nhat Vu, B. S. Manjunath
291
Voted
ICDE
1996
IEEE
120views Database» more  ICDE 1996»
16 years 8 months ago
Towards the Reverse Engineering of Denormalized Relational Databases
This paper describes a method to cope with denormalized relational schemas in a database reverse engineering process. We propose two main steps to irnprove the understanding of da...
Jean-Marc Petit, Farouk Toumani, Jean-Franç...