Searching for authors named "Ian Pratt" – sorted by Relevance.
63 documents found, showing 1 through 10.
Next 10 →
-
A Highly Restricted Temporal Logic With a Tractable Decision Procedure
- … with a tractable decision procedure Ian Pratt Department of Computer Science University of Manchester…
- Add To MetaCart
-
Qualitative Spatial Representation Languages with Convexity
- …Qualitative Spatial Representation Languages with Convexity Ian Pratt 1 Introduction In recent…
- Cited by 6 (0 self) – Add To MetaCart
-
Shape Representation using Fourier Coefficients of the Sinusoidal Transform
- … Coefficients of the Sinusoidal Transform Ian Pratt Department of Computer Science University of Manchester…
- Cited by 1 (0 self) – Add To MetaCart
-
Map Semantics
- …Map Semantics Ian Pratt Department of Computer Science, University of Manchester, Manchester M13…
- Cited by 9 (1 self) – Add To MetaCart
-
On the Insufficiency of Linear Diagrams for Syllogisms
- … Diagrams for Syllogisms OLIVER LEMON and IAN PRATT Abstract In Volume 33:1 of the Notre Dame Journal…
- Add To MetaCart
-
Engineering Mobile Proxy Design for Wide-Area Wireless
- …1 Engineering Mobile Proxy Design for Wide-Area Wireless Rajiv Chakravorty and Ian Pratt Email…
- Add To MetaCart
-
WWW Performance over GPRS
- … download times over GPRS. We attempt to answer Rajiv Chakravorty and Ian Pratt rajiv.chakravorty,ian.pratt…
- Cited by 11 (5 self) – Add To MetaCart
-
Practical Experience with HTTP and TCP over GPRS
- …Practical Experience with HTTP and TCP over GPRS Rajiv Chakravorty and Ian Pratt Email: frajiv…
- Cited by 3 (1 self) – Add To MetaCart
-
The Semantics of Temporal Prepositions and Related Adverbials in English
- … and Related Adverbials in English Ian Pratt Department of Computer Science University of Manchester Technical…
- Cited by 1 (0 self) – Add To MetaCart
-
Building Adaptive Peer-to-Peer Systems
- … or user pro- Building Adaptive Peer-To-Peer Systems Evangelia Kalyvianaki and Ian Pratt University…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
