8828 search results - page 1463 / 1766 » Formal methods in practice |
184
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
154
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
166
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
In many practical domains, misclassification costs can differ greatly and may be represented by class ratios, however, most learning algorithms struggle with skewed class distrib...
147
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Traditional methods of dental surgical skills training and assessment are being challenged by complications such as unavailability of expert supervision and the subjective manner o...
142
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
In order to achieve genuine web intelligence, building some kind of large general machine-readable conceptual scheme (i.e. ontology) seems inescapable. Yet the past 20 years have ...