7393 search results - page 1264 / 1479 » Synthesis-for-testability using transformations |
153
Voted
IE
2007
15 years 5 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
148
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
108
Voted
IESA
2007
15 years 5 months ago
2007
In the area of Human Resource Management, the trend is towards online exchange of information about human resources. For example, online applications for employment become standar...
133
Voted
AAAI
2010
15 years 5 months ago
2010
Goal-directed path planning is one of the basic and widely studied problems in the field of mobile robotics. Homotopy classes of trajectories, arising due to the presence of obsta...
164
Voted
AIPRF
2008
15 years 5 months ago
2008
Unsolicited commercial or bulk emails or emails containing viruses pose a great threat to the utility of email communications. A recent solution for filtering is reputation systems...