2029 search results - page 146 / 406 » informs 2002 |
164
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Interactive virtual worlds provide a powerful medium for experimental learning and entertainment. Nowadays, virtual environments often incorporate human-like embodied virtual agent...
151
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
186
Voted
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. Open Mind Common Sense is a knowledge acquisition system designed to acquire commonsense knowledge from the general public over the web. We describe and evaluate our firs...
163
Voted
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
General goals of a BSc and MSc in Electrical Engineering are formulated, leading to a ‘mission’ statement clarifying the rationale behind the programmes in relation to the nee...
158
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...