233 search results - page 44 / 47 » Intelligent compilers |
172
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—The rapidly increasing amount of data available for real-time analysis (i.e., so-called operational business intelligence) is creating an interesting opportunity for creative ap...
149
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...
129
click to vote
FLAIRS
2006
15 years 6 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
153
click to vote
PRICAI
2004
Springer
15 years 10 months ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
162
click to vote
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...