7167 search results - page 247 / 1434 » Answer Set Programming |
121
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
130
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...
124
Voted
AIED
2007
Springer
15 years 8 months ago
2007
Springer
On-line discussion is a popular form of web-based computer-mediated communication and is an important medium for distance education. Automatic tools for analyzing online discussion...
110
click to vote
SARA
2007
Springer
15 years 8 months ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
107
Voted
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
We present BlogScope (www.blogscope.net), a system for online analysis of temporally ordered streaming text, currently applied to the analysis of the Blogosphere1 . The system cur...