7055 search results - page 70 / 1411 » Some New 4-Designs |
131
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
72
Voted
ELPUB
1999
ACM
15 years 5 months ago
1999
ACM
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...
106
click to vote
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
122
click to vote
3DPVT
2004
IEEE
15 years 5 months ago
2004
IEEE
A new approach to construction of robust features is proposed and applied to an instance of the correspondence problem. The main idea is to construct a synthetic image by a multir...
123
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...