Sciweavers

11739 search results - page 357 / 2348
» Slideshow: functional presentations
Sort
View
ISBI
2008
IEEE
16 years 7 months ago
Level set segmentation of dermoscopy images
This paper presents a method for the segmentation of skin lesions in dermoscopy images. The proposed technique uses region based level sets and adopts a mixture of Gaussian densit...
Margarida Silveira, Jorge S. Marques
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
16 years 7 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
16 years 1 months ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
IEAAIE
2009
Springer
16 years 1 months ago
A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
Jan Treur
IOLTS
2008
IEEE
91views Hardware» more  IOLTS 2008»
16 years 1 months ago
Physical Demonstration of Polymorphic Self-Checking Circuits
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
Richard Ruzicka, Lukás Sekanina, Roman Prok...