2395 search results - page 280 / 479 » Reasoning in Semantic Wikis |
154
click to vote
DAGSTUHL
1998
15 years 5 months ago
1998
Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...
211
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we aim to estimate the similarity between users according to their GPS trajectories. Our approach first models a user’s GPS trajectories with a semantic location ...
144
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
113
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
118
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...