6167 search results - page 47 / 1234 » Can Refinement be Automated |
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
CVPR
2010
IEEE
14 years 2 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
COLING
1996
13 years 11 months ago
1996
This work attempts to provide a robust Thai morphological analyzer which can automatically assign the correct part-of-speech tag to the correct word with time and space efficiency...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Resolution refinements called w-resolution trees with lemmas (WRTL) and with input lemmas (WRTI) are introduced. Dag-like resolution is equivalent to both WRTL and WRTI when there...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
— Due to developing mobile devices and providing services like mobile blogs, people can easily share their thought and experience, at any place and any time. A picture is an impo...