2165 search results - page 209 / 433 » cases 2005 |
121
click to vote
PREMI
2005
Springer
15 years 10 months ago
2005
Springer
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
124
click to vote
PROFES
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
126
click to vote
RE
2005
Springer
15 years 10 months ago
2005
Springer
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
138
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
138
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...