1851 search results - page 98 / 371 » Open Source AI |
154
click to vote
JVA
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
138
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
184
Voted
IADIS
2003
15 years 6 months ago
2003
As an open source project, Open Simple Secure Transaction (OpenSST) protocol aims to be a secure and transactionoriented protocol for the unsecured network. At present a prototype...
136
click to vote
AIEDU
2007
15 years 5 months ago
2007
Research efforts focused on developing "active reports" are currently underway. Active reports are designed to foster communication among teachers, students, and parents ...
148
Voted
AI
2002
Springer
15 years 4 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...