1851 search results - page 177 / 371 » Open Source AI |
114
Voted
ACL
2012
13 years 6 months ago
2012
We present Subgroup Detector, a system for analyzing threaded discussions and identifying the attitude of discussants towards one another and towards the discussion topic. The sys...
165
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
139
click to vote
WWW
2003
ACM
15 years 9 months ago
2003
ACM
Since the early 1990s, different infrastructures for supporting learning have been developed and practically tested in Paderborn. One of the key products of our research is the we...
161
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
In the Linked Open Data cloud one of the largest data sets, comprising of 2.5 billion triples, is derived from the Life Science domain. Yet this represents a small fraction of the ...
145
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...