2685 search results - page 349 / 537 » A Formal Semantics for SPKI |
181
click to vote
LOPSTR
2007
Springer
16 years 21 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
184
click to vote
CBMS
2006
IEEE
16 years 19 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
189
click to vote
IHIS
2005
ACM
16 years 3 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
197
click to vote
KCAP
2005
ACM
16 years 3 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
168
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...