1928 search results - page 100 / 386 » Integrity Constraints in OWL |
96
Voted
CP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
104
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...
101
click to vote
FPGA
1998
ACM
15 years 5 months ago
1998
ACM
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...
103
Voted
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
In high dimensional data, the general performance of traditional clustering algorithms decreases. This is partly because the similarity criterion used by these algorithms becomes ...
100
click to vote
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...