634 search results - page 94 / 127 » Completion Procedures as Semidecision Procedures |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
3DPVT
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
ICCD
2006
IEEE
14 years 2 months ago
2006
IEEE
āThis paper introduces a new class of sequential circuits called acyclically testable sequential circuits which is wider than the class of acyclic sequential circuits but whose t...