6167 search results - page 188 / 1234 » Can Refinement be Automated |
147
Voted
FUIN
2010
15 years 2 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
138
Voted
JAMIA
2010
14 years 11 months ago
2010
Clinical coding and classification processes transform natural language descriptions in clinical text into data that can subsequently be used for clinical care, research, and othe...
194
click to vote
CVPR
2009
IEEE
17 years 12 hour ago
2009
IEEE
Due to the capacity of pan-tilt-zoom (PTZ) cameras to
simultaneously cover a panoramic area and maintain high
resolution imagery, researches in automated surveillance
systems wi...
139
click to vote
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
Knowing the subcellular location of a protein is critical to a full understanding of its function, and automated, objective methods for assigning locations are needed as part of t...
162
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...