345 search results - page 16 / 69 » GraphML Progress Report |
DAGSTUHL
2001
13 years 8 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
ECIS
2001
13 years 8 months ago
2001
Interpretivist research in progress in a market research company is reported. Market research is information and knowledge intensive. The problem addressed concerns sharing inform...
INTERACT
2003
13 years 8 months ago
2003
: In this paper we report on the progress of an international EU/IMS research project to develop an Immersive free-form Design Application using Virtual Reality and Haptic Immersio...
CORR
2008
Springer
2008
Springer
On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems
13 years 7 months ago
It has previously been shown that a recommender based on immune system idiotypic principles can outperform one based on correlation alone. This paper reports the results of work i...
CPHYSICS
2008
13 years 7 months ago
2008
Many body trial wave functions are the key ingredient for accurate Quantum Monte Carlo estimates of total electronic energies in many electron systems. In the Coupled Electron-Ion...