4224 search results - page 330 / 845 » Reasoning about Choice |
302
click to vote
GIS
2007
ACM
16 years 8 months ago
2007
ACM
This work addresses the problem of obtaining the degree of similarity between trajectories of moving objects. Typically, a Moving Objects Database (MOD) contains sequences of (loc...
225
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
227
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
187
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
220
Voted
TLDI
2009
ACM
16 years 4 months 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...