1146 search results - page 157 / 230 » Formal Specification Generation from Requirement Documents |
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Bioinformatic data sources available on the web are multiple and heterogenous. The lack of documentation and the difficulty of interaction with these data banks require us...
ECIR
2007
Springer
14 years 11 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
We compare two methods for assessing the performance of groupwise non-rigid registration algorithms. One approach, which has been described previously, utilizes a measure of overl...
ISESE
2005
IEEE
15 years 3 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...