3713 search results - page 511 / 743 » Constructing a Calculus of Programs |
135
Voted
AI
2002
Springer
15 years 3 months ago
2002
Springer
This article surveys three techniques for enhancing heuristic game-tree search pioneered in the author's Othello program Logistello, which dominated the computer Othello scen...
116
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
136
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The Student Contest on Software Engineering (SCORE), organized for the first time in conjunction with the International Conference on Software Engineering (ICSE) 2009, attracted 5...
107
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
111
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...