1980 search results - page 120 / 396 » On the Associative Nijenhuis Relation |
158
click to vote
ENTCS
2002
15 years 1 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
COMCOM
1998
15 years 1 months ago
1998
The X.500 standard speci es a distributed directory service designed to store information about people and objects associated with computer networks. Its API is geared toward retr...
101
click to vote
MONET
2002
15 years 1 months ago
2002
Many cache management schemes designed for mobile environments are based on invalidation reports (IRs). However, IR-based approach suffers from long query latency and it cannot eff...
124
click to vote
TPDS
2002
15 years 1 months ago
2002
Abstract--The Gemini interconnect is a dual technology (optical and electrical) interconnection network designed for use in tightlycoupled multicomputer systems. It consists of a c...
RAS
2007
15 years 1 months ago
2007
A novel vision-based scheme is presented for driving a nonholonomic mobile robot to intercept a moving target. The proposed method has a two-level structure. On the lower level, t...