2693 search results - page 117 / 539 » On Computing Complex Navigation Functions |
DAGSTUHL
2010
15 years 3 months ago
2010
Applications of complex variables and related manifolds appear throughout mathematics and science. Here we review a family of basic methods for applying visualization concepts to ...
151
Voted
DAC
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
119
Voted
VLDB
1987
ACM
15 years 5 months ago
1987
ACM
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
113
Voted
FOCS
1999
IEEE
15 years 6 months ago
1999
IEEE
Naor and Yung show that a one-bit-compressing universal one-way hash function (UOWHF) can be constructed based on a one-way permutation. This construction can be iterated to build...
103
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
Beam search is used to maintain tractability in large search spaces at the expense of completeness and optimality. We study supervised learning of linear ranking functions for con...