7167 search results - page 719 / 1434 » Answer Set Programming |
172
click to vote
EUROPAR
2003
Springer
16 years 12 days ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
204
click to vote
ICALP
2003
Springer
16 years 12 days ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
155
click to vote
APLAS
2009
ACM
15 years 12 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
165
click to vote
VLSID
1994
IEEE
15 years 11 months ago
1994
IEEE
A CORDIC based processor array which can be programmed by switch settings to compute the Discrete Hariley, Cosine or Sine lhnsforms or their inverses is described. Through a novel...
188
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Producing Intelligent Tutoring Systems (ITSs) is a labor-intensive process, requiring many different skill sets. A major component of an ITS, the cognitive model, has historically...