1776 search results - page 121 / 356 » Using a Logic Programming Language with Persistence and Cont... |
141
click to vote
TLDI
2009
ACM
16 years 2 days ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
154
click to vote
ESWS
2006
Springer
15 years 6 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
113
click to vote
IFIP
1992
Springer
15 years 7 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
177
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
118
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...