2947 search results - page 345 / 590 » Analyzing Program Analyses |
134
Voted
KR
2000
Springer
15 years 10 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
183
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposi...
143
click to vote
AAAI
2006
15 years 8 months ago
2006
Forward pruning, or selectively searching a subset of moves, is now commonly used in game-playing programs to reduce the number of nodes searched with manageable risk. Forward pru...
177
click to vote
ERSA
2006
15 years 8 months ago
2006
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...
147
click to vote
ECIS
2003
15 years 8 months ago
2003
Positivist, single case study is an important research approach within the information systems discipline. This paper provides detailed definitions of key concepts in positivist, ...