887 search results - page 64 / 178 » A Science of Reasoning |
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Developing customers’ initial trust in e-businesses is critical for many online vendors, especially for startup companies. As an effort to understand initial trust in the busine...
DIS
2003
Springer
14 years 2 months ago
2003
Springer
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
ISSS
1998
IEEE
14 years 1 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
IVCNZ
1998
13 years 10 months ago
1998
Traditional scenario of probabilistic modelling is directed at generating samples having a given probability distribution. We argue that this scenario is impracticable for image m...