1851 search results - page 81 / 371 » Open Source AI |
163
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
133
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Free/Open Source Software (FOSS) development is not the same an Software Engineering (SE). Why this is so is unclear and open to various interpretations. Both address the challeng...
121
Voted
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
133
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
This tutorial focuses on the task of automated information linking in text and multimedia sources. In any task where information is fused from different sources, this linking is ...
128
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
The usability of Free/Libre/Open Source Software (FLOSS) is a new challenge for HCI professionals. Although HCI professionals are working on usability issues in FLOSS, the CHI com...