1879 search results - page 359 / 376 » Integrating motivations with planning |
AISC
1998
Springer
14 years 10 hour ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
INFOCOM
1997
IEEE
13 years 12 months ago
1997
IEEE
We consider the multiplexing of several variable bit rate (VBR) connections over one variable bit rate connection where the multiplexing uses a multiplexing bu er of size B. The V...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
Rosebud is a user-interface prototype which elicits storytelling by child users though interaction with a computationally-augmented physical artifact. In particular, Rosebud links...
POPL
1997
ACM
13 years 12 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
APNOMS
2007
Springer
13 years 11 months ago
2007
Springer
Network topology discovery for the large IP networks is a very well studied area of research. Most of the previous work focus on improving the efficiency in terms of time and compl...