833 search results - page 117 / 167 » From AI Technology Research to Applications |
151
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
110
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Multi-touch interfaces are becoming popular as a new input means for the various applications. In this paper, we suggest a new Korean text entry method using a multi-touch interfa...
141
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Telemedicine is advocated for its potential to improve the accessibility and quality of health care delivery while lowering costs [1]. Although the potential benefits of telemedic...
141
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
144
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...