918 search results - page 112 / 184 » e-Procurement Using Goal Programming |
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
HAPTICS
2002
IEEE
14 years 1 months ago
2002
IEEE
We have developed a tactile display that uses electric current from the skin surface as a stimulus. Our main objective was to independently stimulate a variety of mechanoreceptors...
ITICSE
2000
ACM
14 years 1 months ago
2000
ACM
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
LCPC
1999
Springer
14 years 1 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
LPAR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...