3208 search results - page 502 / 642 » Methods and views |
171
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
171
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
We propose a new probabilistic approach to information retrieval based upon the ideas and methods of statistical machine translation. The central ingredient in this approach is a ...
167
Voted
CP
1999
Springer
15 years 10 months ago
1999
Springer
Reformulating constraint satisfaction problems (CSPs) in lower arity is a common procedure when computing consistency. Lower arity CSPs are simpler to treat than high arity CSPs. ...
143
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new visualization method for 2d flows which allows us to combine multiple data values in an image for simultaneous viewing. We utilize concepts from oil painting, art...
165
Voted
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...