4895 search results - page 722 / 979 » Tools for Grammar Engineering |
159
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...
138
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we present a new method to improve global routing results. By using an amplified congestion estimate to influence a rip-up and reroute approach, we obtain substanti...
132
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
170
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe the design of a profile generator toolkit, which aims to automatically create realistic user profiles for a mobile personalized portal service. These pr...
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...