3799 search results - page 488 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
SCAM
2005
IEEE
16 years 7 days ago
2005
IEEE
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
178
click to vote
SIGIR
2005
ACM
16 years 6 days ago
2005
ACM
We describe a method for predicting query difficulty in a precision-oriented web search task. Our approach uses visual features from retrieved surrogate document representations (...
217
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
180
click to vote
CSMR
2003
IEEE
15 years 12 months ago
2003
IEEE
There may be several reasons to reduce a software system to its bare bone removing the extra fat introduced during development or evolution. Porting the software system on embedde...
204
click to vote
AVI
2004
15 years 8 months ago
2004
There are several approaches for pen-based systems to improve legibility of handwritten text, e.g. smoothing the strokes composing the characters and words. A very challenging sol...