8874 search results - page 322 / 1775 » A New Implementation of Automath |
195
click to vote
RTA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
157
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
149
click to vote
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
In this work a new test structure for mismatch characterization of CMOS technologies is presented. The test structure is modular, with a reduced area and it can be inserted in the...
199
click to vote
HUMAN
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose the ontology-based semantic web search model to enhance efficiency and accuracy of information retrieval for unstructured and semi-structured documents. N...
134
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Twice (Tilting device with WIde Capacity) a new amplification device able to double the tilting angle of a parallel mechanism is presented. A singularity analysis is carried out: ...