1587 search results - page 33 / 318 » The Semantics of Extended SOFL |
JUCS
2010
13 years 2 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
JLP
2010
13 years 2 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
Exploratory search, in which a user investigates complex concepts, is cumbersome with today’s search engines. We present a new exploratory search approach that generates interac...
EDBT
2011
ACM
12 years 11 months ago
2011
ACM
The World Wide Web no longer consists just of HTML pages. Our work sheds light on a number of trends on the Internet that go beyond simple Web pages. The hidden Web provides a wea...
HT
2011
ACM
12 years 11 months ago
2011
ACM
One of the key motivating factors for information providers to use personalisation is to maximise the benefit to the user in accessing their content. However, traditionally such s...