9503 search results - page 296 / 1901 » Authenticated System Calls |
210
click to vote
MSCS
2000
15 years 7 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
210
click to vote
AROBOTS
1999
15 years 7 months ago
1999
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
211
click to vote
ISPA
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Many context-aware systems have been demonstrated in lab environments; however, due to some difficulties such as the scalability and privacy issues, they are not yet prac...
186
click to vote
SIGSOFT
1993
ACM
15 years 11 months ago
1993
ACM
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
179
click to vote
ISSAC
1990
Springer
15 years 11 months ago
1990
Springer
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...