6704 search results - page 1014 / 1341 » Testing Scenario-Based Models |
141
click to vote
NIPS
2003
15 years 6 months ago
2003
We have designed and tested a single-chip analog VLSI sensor that detects imminent collisions by measuring radially expansive optic flow. The design of the chip is based on a mode...
125
Voted
AAAI
2000
15 years 6 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
123
click to vote
AAAI
1998
15 years 6 months ago
1998
In design, multiple disparate goals must be addressed simultaneously. It is the thesis of this work that problems in two-dimensional layout design can be solved by collaboration a...
140
Voted
FTCS
1998
15 years 6 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
163
click to vote
WSCG
2003
15 years 6 months ago
2003
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...