7545 search results - page 1466 / 1509 » Coupling Application Design and User Interface Design |
123
click to vote
AAAI
1998
15 years 3 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
134
click to vote
OSDI
2000
ACM
15 years 3 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
150
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
113
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: With the current technological advances in high-throughput biology, the necessity to develop tools that help to analyse the massive amount of data being generated is e...
107
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: There is increasing interest in the development of computational methods to analyze fluorescent microscopy images and enable automated large-scale analysis of the subc...