5550 search results - page 628 / 1110 » Different Approaches to Proof Systems |
178
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
A recent trend in digital mammography are Computer-Aided Diagnosis systems, which are computerised tools designed to assist radiologists. Most of these systems are used for the au...
322
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
The scientific significance of automatic logo detection and recognition is more and more growing because of the increasing requirements of intelligent document image analysis an...
196
click to vote
EVOW
2010
Springer
16 years 2 months ago
2010
Springer
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
207
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
159
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a novel technique for the modeling, simulation, and analysis of real-time applications on MultiProcessor Systems-on-Chip (MPSoCs). This technique is based on a...