892 search results - page 126 / 179 » Strategies in sentential reasoning |
98
Voted
PERSUASIVE
2009
Springer
15 years 7 months ago
2009
Springer
Experiencing emotional distress is the number one reason why people who are undergoing behaviour modification (e.g. quitting smoking, dieting) suffer from relapses. Providing emot...
97
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Enterprise architecting is becoming critical for most modern organizations whose competitive strategies are tightly linked to the underlying information technology (IT) infrastruc...
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
Many of the optimization problems from the real world are multiobjective in nature, and the reference algorithm for multiobjective optimization is NSGA-II. Frequently, these probl...
81
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we investigate the applicability of classic dynamic loop scheduling methods on a numerical simulation code that calculates the trajectories of charged particles in t...
84
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...