786 search results - page 32 / 158 » A static theory of promises |
JELIA
1990
Springer
15 years 1 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
FOIS
2008
14 years 11 months ago
2008
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
103
click to vote
ICIP
1997
IEEE
15 years 2 months ago
1997
IEEE
International Conference on Image Processing (ICIP 97), vol. 1, pp. 444-447, Santa Barbara, October 1997. In this paper a model-based multi-view image generation system for video ...