Sciweavers

2173 search results - page 63 / 435
» Building computer models from small pieces
Sort
View
OSDI
2002
ACM
14 years 10 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
ICPR
2006
IEEE
14 years 4 months ago
Reconstruction of 3D Face Model from Single Shading Image Based on Anatomical Database
We propose a method to reconstruct 3D face model from a single face-frontal shading image based on a database of the original 3D face shapes which are created according to anatomi...
Kaori Yoshiki, Hideo Saito, Masaaki Mochimaru
IJCNN
2006
IEEE
14 years 4 months ago
From Light to Spikes: a Large-Scale Retina Simulator
— The purpose of this article is to provide potential neuroscientists and computer scientists with an artificial retina model, delivering spikes to higher-level visual tasks sim...
Adrien Wohrer, Pierre Kornprobst, Thierry Vi&eacut...
NETWORKING
2011
13 years 24 days ago
Modelling and Evaluation of CCN-Caching Trees
Networking Named Content (NNC) was recently proposed as a new networking paradigm to realise Content Centric Networks (CCNs). The new paradigm changes much about the current Intern...
Ioannis Psaras, Richard G. Clegg, Raul Landa, Wei ...
ICPR
2000
IEEE
14 years 2 months ago
Boundary Estimation from Intensity/Color Images with Algebraic Curve Models
A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows – typically  ¢¡£  to...
Tolga Tasdizen, David B. Cooper