2911 search results - page 484 / 583 » A Logic of Graph Constraints |
103
Voted
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
111
Voted
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
113
click to vote
PEPM
2004
ACM
15 years 6 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
107
click to vote
SAMOS
2004
Springer
15 years 6 months ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
176
Voted
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...