34181 search results - page 334 / 6837 » Computer system |
215
click to vote
ACII
2011
Springer
14 years 7 months ago
2011
Springer
Current approaches to story generation do not utilize models of human affect to create stories with dramatic arc, suspense, and surprise. This paper describes current and future wo...
184
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
204
click to vote
ISWC
2003
IEEE
16 years 25 days ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...
182
click to vote
ICLP
2003
Springer
16 years 23 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
223
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
On-Line Analytical Processing techniques are used for data analysis and decision support systems. The multidimensionality of the underlying data is well represented by multidimens...