1557 search results - page 41 / 312 » Programming up to Congruence |
114
click to vote
AAAI
2008
15 years 2 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
113
click to vote
JISBD
2003
15 years 1 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
102
click to vote
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
BIRD
2007
Springer
15 years 6 months ago
2007
Springer
Comparison of 3-dimensional protein folds is a core problem in molecular biology. The Contact Map Overlap (CMO) scheme provides one of the most common measures for protein structur...
114
click to vote
WCRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...