7991 search results - page 1234 / 1599 » Using More Reasoning to Improve |
184
click to vote
JACM
2007
15 years 6 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
227
click to vote
TIT
2010
15 years 1 months ago
2010
Most communication systems use some form of feedback, often related to channel state information. The common models used in analyses either assume perfect channel state information...
259
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Recent growth of the geospatial information on the web has made it possible to easily access various maps and orthoimagery. By integrating these maps and imagery, we can create in...
187
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
230
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...