3575 search results - page 590 / 715 » Presentations of computably enumerable reals |
191
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
174
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...
147
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
197
click to vote
HT
2010
ACM
15 years 8 months ago
2010
ACM
1 Tags are an important information source in Web 2.0. They can be used to describe users’ topic preferences as well as the content of items to make personalized recommendations....
168
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
Network devices can filter traffic in order to protect end-user computers against network worms and other threats. Since these devices have very limited memories and cannot deploy ...