4690 search results - page 351 / 938 » An operational semantics for Scheme |
153
click to vote
ISTA
2001
15 years 8 months ago
2001
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
181
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
215
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
284
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Semantic caching enables mobile clients to answer spatial queries locally by storing the query descriptions together with the results. However, it supports only a limited number o...