4242 search results - page 711 / 849 » For a science of group interaction |
174
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
176
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- Successful investment management relies on allocating assets so as to beat the stock market. Asset classes are affected by different market dynamics or latent trends. Th...
184
click to vote
NAACL
1994
15 years 7 months ago
1994
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
175
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The development and testing of functions for the modeling of protein energetics is an important part of current research aimed at understanding protein structure and f...
170
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we propose novel GPU accelerated algorithms for interactive point-based rendering (PBR) and high-quality shading of transparent point surfaces. By introducing the c...