918 search results - page 33 / 184 » e-Procurement Using Goal Programming |
ECP
1997
Springer
14 years 23 days ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
CHI
2007
ACM
14 years 18 days ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
DALT
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...