1615 search results - page 53 / 323 » Computer science and decision theory |
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
DIS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This article demonstrates the way in which Knowledge Management System (KMS) quality influences effective competitive advantage through decision making and through organizational ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by no...
SCA
2007
13 years 11 months ago
2007
We introduce a framework for advanced behavioral animation in virtual humans, which addresses the challenging open problem of simulating social interactions between pedestrians in...