7988 search results - page 1577 / 1598 » A Useful Undecidable Theory |
ALIFE
2005
13 years 8 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
SOFTWARE
2008
13 years 8 months ago
2008
s of titles and abstracts) as irrelevant to our focus. We read the remaining 519 papers in full to establish our final list. The 92 papers we chose were originally published in the...
AML
2005
13 years 8 months ago
2005
It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are gre...
IMDS
2007
13 years 8 months ago
2007
Purpose – This research seeks to investigate the relationship between knowledge diversity (KD) in software teams and project performance. Previous research has shown that member...
INFFUS
2007
13 years 8 months ago
2007
The Swedish Defence Research Agency (FOI) has developed a concept demonstrator called the Information Fusion Demonstrator 2003 (IFD03) for demonstrating information fusion methodo...