4258 search results - page 647 / 852 » Languages and Interactive Software Development |
135
click to vote
JDM
2006
15 years 3 months ago
2006
Approximately 57 different types of clinical annotations construct a patient's medical record. The annotations include radiology reports, discharge summaries, and surgical an...
170
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
134
click to vote
EDBT
1990
ACM
15 years 7 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
244
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
134
Voted
TASLP
2002
15 years 3 months ago
2002
Creating conversational interfaces for children is challenging in several respects. These include acoustic modeling for automatic speech recognition (ASR), language and dialog mode...