2127 search results - page 340 / 426 » Software Automation |
143
click to vote
AIME
2005
Springer
15 years 7 months ago
2005
Springer
Sketching is ubiquitous in medicine. Physicians commonly use sketches as part of their note taking in patient records and to help convey diagnoses and treatments to patients. Medic...
133
click to vote
KCAP
2003
ACM
15 years 7 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
114
click to vote
ICDE
2009
IEEE
15 years 9 months ago
2009
IEEE
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
118
click to vote
DAC
1998
ACM
16 years 3 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
129
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...