3330 search results - page 215 / 666 » software 2010 |
210
click to vote
ACHI
2010
IEEE
15 years 7 months ago
2010
IEEE
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
SNOMED Clinical Terms (SNOMED CT) is one of the most widespread ontologies in the life sciences, with more than 300,000 concepts and relationships, but is distributed with no assoc...
105
click to vote
JSS
2010
14 years 7 months ago
2010
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
145
Voted
INLG
2010
Springer
14 years 10 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...