1073 search results - page 79 / 215 » Reasoning about Continuous Processes |
128
Voted
SCAI
2008
15 years 4 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
131
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
114
Voted
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
105
Voted
CMOT
2007
15 years 2 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
107
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...