1722 search results - page 225 / 345 » Generating Tests from Counterexamples |
INFORMS
2010
13 years 7 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
ISVC
2010
Springer
13 years 7 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
MATES
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
ICASSP
2011
IEEE
13 years 26 days ago
2011
IEEE
The quality and intelligibility of narrowband telephone speech can be enhanced by artifical bandwidth extension. This study combines Gaussian mixture model-based (GMM) mel spectr...
ICASSP
2011
IEEE
13 years 26 days ago
2011
IEEE
Image geo-registration is the process of relating a photograph and its pose to referenced world coordinates. The application is relevant, especially to the social networking, phot...