1559 search results - page 21 / 312 » The Semantics of Future and Its Use in Program Optimizations |
SIGADA
2007
Springer
15 years 3 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
ICMCS
2000
IEEE
15 years 2 months ago
2000
IEEE
As the use of applications employing video contents becomes widespread, it is crucial for representation systems to be able to handle video effectively and flexibly. In this pape...
JPDC
2008
14 years 9 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
JAIR
2007
14 years 9 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
109
click to vote
NAACL
2007
14 years 11 months ago
2007
We present our work on using Wikipedia as a knowledge source for Natural Language Processing. We first describe our previous work on computing semantic relatedness from Wikipedia...