2662 search results - page 122 / 533 » Objects-early tools: a demonstration |
171
click to vote
ICIP
1994
IEEE
15 years 5 months ago
1994
IEEE
Abstract. Numerical analysis of conservation laws plays an important role in the implementation of curve evolution equations. This paper reviews the relevant concepts in numerical ...
111
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
103
click to vote
CHI
1992
ACM
15 years 5 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
126
click to vote
SC
1994
ACM
15 years 5 months ago
1994
ACM
PARAMICS is a PARAllel MICroscopic Traffic Simulator which is, to our knowledge, the most powerful of its type in the world. The simulator can model around 200,000 vehicles on aro...
115
click to vote
BIBM
2009
IEEE
15 years 5 months ago
2009
IEEE
We describe an algorithm for finding approximate seeds for DNA homology searches. In contrast to previous algorithms that use exact or spaced seeds, our approximate seeds may conta...