3812 search results - page 317 / 763 » Combinations of TRAP Based Systems |
214
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
200
click to vote
JAIR
2006
15 years 6 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
200
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—Inter-cell interference (ICI) is always a big obstacle to attain wide area coverage and high spectral efficiency in cellular systems. In this work we make a study of two well-kn...
187
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
With the rapid growth of the Internet, users' ability to publish content has created active electronic communities that provide a wealth of product information. Consumers nat...
162
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...