2403 search results - page 53 / 481 » Using the WinWin Spiral Model: A Case Study |
101
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...
112
click to vote
ICECCS
1999
IEEE
15 years 3 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
118
click to vote
DILS
2006
Springer
15 years 3 months ago
2006
Springer
Linking the biomedical literature to other data resources is notoriously difficult and requires text mining. Text mining aims to automatically extract facts from literature. Since ...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
VIS
2006
IEEE
16 years 16 days ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...