2752 search results - page 27 / 551 » Rounding to an Integral Program |
147
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
118
click to vote
VL
1995
IEEE
15 years 6 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
136
click to vote
ICCD
2007
IEEE
15 years 6 months ago
2007
IEEE
As application-specific instruction set processors (ASIPs) are being increasingly used in mobile embedded systems, the ubiquitous networking connections have exposed these systems...
147
click to vote
JSS
2006
15 years 2 months ago
2006
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
274
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....