440 search results - page 74 / 88 » A DOP Model for Semantic Interpretation |
164
click to vote
BSL
2004
15 years 5 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
173
click to vote
PKDD
2009
Springer
16 years 15 days ago
2009
Springer
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...
152
click to vote
LICS
2007
IEEE
16 years 7 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
169
click to vote
AUSFORENSICS
2004
15 years 7 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
225
click to vote
ISDO
2000
15 years 7 months ago
2000
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...