12084 search results - page 2055 / 2417 » Effect Systems with Subtyping |
237
click to vote
DB
2008
15 years 6 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
176
Voted
EAAI
2008
15 years 6 months ago
2008
Facial expression recognition has potential applications in different aspects of day-to-day life not yet realized due to absence of effective expression recognition techniques. Th...
173
click to vote
ENGL
2008
15 years 6 months ago
2008
Electronic information display systems are widely used in public places. The increase in use of light-emitting diodes (LED) display arouses our interest in the effective methods of...
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
136
click to vote
ESWA
2008
15 years 6 months ago
2008
For thin film transistor-liquid crystal displays (TFT-LCD) factories in Taiwan, yield performance had become as an important competitiveness determinant during the competitive env...