5630 search results - page 85 / 1126 » Computability in Specification |
143
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
91
Voted
SIGUCCS
2000
ACM
15 years 7 months ago
2000
ACM
In this paper, we describe the process we went through to redesign our training program in order to make it more targeted to the individual user, more responsive to a constantly c...
88
Voted
CII
2006
15 years 2 months ago
2006
Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for s...
101
Voted
ICALT
2009
IEEE
15 years 9 months ago
2009
IEEE
With the aim of facilitating teachers the use of good techniques in computer assisted assessment, this paper proposes the integration of rubric functionalities in an editor compli...
100
click to vote
CACM
2010
15 years 2 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...