5671 search results - page 709 / 1135 » A Semantic Approach to Interpolation |
205
click to vote
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
187
click to vote
DEXA
1994
Springer
15 years 11 months ago
1994
Springer
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...
149
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
178
click to vote
GIR
2007
ACM
15 years 11 months ago
2007
ACM
This paper describes research being employed in the Tripod project to improve the retrieval of photographs through a comprehensive knowledge of where they were taken. The methods ...
195
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
The goal of Web search personalization is to tailor search results to a particular user based on that user's interests and preferences. We present an approach to personalized...