36320 search results - page 184 / 7264 » From Code to Models |
200
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
158
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We describe a novel approach for 3D ear biometrics using video. A series of frames are extracted from a video clip and the region-of-interest (ROI) in each frame is independently ...
163
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
179
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
209
click to vote
TSMC
2011
15 years 1 months ago
2011
—In this paper, we propose a circular blurred shape model descriptor to deal with the problem of symbol detection and classification as a particular case of object recognition. ...