4266 search results - page 326 / 854 » Search for More Declarativity |
215
click to vote
EON
2003
15 years 8 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
175
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
152
Voted
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
Mobile devices face a diverse and dynamic set of networking options. Using those options to the fullest requires knowledge of application intent. This paper describes Intentional ...
184
click to vote
IJHCI
2008
15 years 6 months ago
2008
Interactive digital television (iDTV) is a social medium and must therefore be tested in a context as close to real life as possible. This explains why we saw the potential and im...
206
click to vote
CONSTRAINTS
2007
15 years 6 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...