MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The System LD." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

37 documents found, showing 1 through 10. Next 10 →

ATOM

INVITED LECTURES Abduction in Labelled Deductive Systems A Conceptual Abstract
by D M Gabbay
… and Induction is outlined within the framework of Labelled Deductive Systems (LD5). It is argued that abductive…
Add To MetaCart

Caching Location Data in Mobile Networking
by Shyhtsun Wu, Charles Perkins, Pravin Bhagwat — 1993 — IEEE Workshop on Advances in Parallel and Distributed Systems
… networking system. The LD should be updated when the MH moves from one access zone to another access zone…
Cited by 10 (0 self) – Add To MetaCart

Labelled Tableau Calculi Generating Simple Models for Substructural Logics
by Kazushige Terui — 1999
… apply the methodology of Labelled Deductive Systems to the tableau method in order to obtain a deductive…
Cited by 1 (0 self) – Add To MetaCart

Logical Disk: A Simple New Approach to Improving File System Performance
by W. de Jonge, Wiebren De Jonge, Wiebren De Jonge, M. Frans Kaashoek, M. Frans Kaashoek, Wilson C. Hsieh, Wilson C. Hsieh — 1993 — In 14th Symposium on Operating System Principles
…. This paper describes a new organization for file systems, using a Logical Disk (LD); LD defines a simple new…
Cited by 7 (0 self) – Add To MetaCart

Self-Organized Flocking with Agent Failure: Off-Line Optimization and Demonstration with Real Robots
by Adam T. Hayes, Parsa Dormiani-tabatabaei — 2002
… formation times), but there is a cost to making heading information explicitly available within a system. LD…
Cited by 11 (0 self) – Add To MetaCart

Atomic Recovery Units: Failure Atomicity for Logical Disks
by Robert Grimm, Wilson C. Hsieh, M. Frans Kaashoek, Wiebren de Jonge — 1996 — In Proceedings of the 16th IEEE International Conference on Distributed Computing Systems
… of the logical disk system (LD). LD separates disk and file management by providing an abstract interface to disk…
Cited by 6 (3 self) – Add To MetaCart

Bivariate Hermite interpolation via computer algebra and
by C. Ciliberto, F. Cioffi, R. Mir, F. Orecchia — 2002
… of the multiplicities are equal, to m say. In this case we denote the system by L = Ld(mn) and call it homogeneous…
Add To MetaCart

DEGENERATIONS OF THE VERONESE AND APPLICATIONS
by Ciro Ciliberto, Olivia Dumitrescu, Rick Miranda
… proof of the following: Theorem 0.1. The linear systems all have the expected dimension. Ld(2 n ) for d…
Add To MetaCart

On the Insufficiency of Linear Diagrams for Syllogisms
by Ian Pratt, Oliver Lemon, Oliver Lemon — 1998
… tasks. 2 The diagrammatic system LD In [5], Englebretsen presents us with a system for diagramming…
Add To MetaCart

The Experience of Multi-Branches Study on Institute of Economics and Control Systems
by Vladimir Kebo, Vladimir Strakos, Control In Raw Materials — 2001
… Foreign language Systems LD prospecting of earth Models making Accountancy 2 Programming Automation…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB