8512 search results - page 222 / 1703 » Computing Theory With Relevance |
172
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
145
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
136
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
147
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
155
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...