984 search results - page 43 / 197 » ideas 2006 |
FUIN
2007
13 years 10 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
FUIN
2007
13 years 10 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
PAMI
2006
13 years 9 months ago
2006
In this article we present a novel convexity measure for object shape analysis. The proposed method is based on the idea of generating pairs of points from a set, and measuring th...
PUC
2006
13 years 9 months ago
2006
In the realm of product design, communication between designer, client, design team and future users is of great importance. Throughout the design process, ideas and concepts are g...
IJCAT
2007
13 years 9 months ago
2007
: The term innovation resonates broadly in cyberspace, books and journals. A careful analysis of the vast open-source information indicates that the engineering literature on under...