1582 search results - page 113 / 317 » Mathematical Tools for Physics |
117
click to vote
ICSE
1994
IEEE-ACM
15 years 7 months ago
1994
IEEE-ACM
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...
131
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
109
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
136
Voted
EUSFLAT
2007
15 years 4 months ago
2007
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...
126
click to vote
ALIFE
2005
15 years 3 months ago
2005
This review presents a review of prevalent results within research pertaining to emergent cooperation in biologically inspired artificial social systems. Results reviewed maintain ...