1993 search results - page 188 / 399 » On Action Theory Change |
162
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
172
click to vote
FLAIRS
2010
15 years 8 months ago
2010
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
180
click to vote
DMDW
2000
15 years 7 months ago
2000
Access. permissions in a data warehouse are currently managed in a separate world from the sources' policies. The consequences are inconsistencies, slow response to change, a...
149
click to vote
BEHAVIOURIT
2007
15 years 6 months ago
2007
This paper presents a longitudinal study of the course ‘High-tech Entrepreneurship and New Media’. The course design is based on socio-cultural theories of learning and consid...
156
click to vote
JAR
2007
15 years 6 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...