42507 search results - page 292 / 8502 » On the analysis of |
200
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
173
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
We formalize the problem of analog data compression and analyze the existence of a polynomial data compression function. Under relaxed conditions we explore the existence of a sol...
142
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
Skew detection via principal components is proposed as an e ective methodforimageswhich contain other parts than text. It is shown that the negative of the image leads to much mor...
169
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
142
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...