4419 search results - page 727 / 884 » Information Science in Transition |
204
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
171
click to vote
AIED
2007
Springer
16 years 21 days ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
147
click to vote
AUSDM
2007
Springer
16 years 21 days ago
2007
Springer
The advances in computing and information storage have provided vast amounts of data. The challenge has been to extract knowledge from this raw data; this has lead to new methods ...
167
click to vote
CIKM
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we describe the ChemXSeer system that hosts data and scholarly articles related to chemical kinetics. Domain scientists have different needs that are not served by ...
154
click to vote
CSR
2007
Springer
16 years 21 days ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...