535 search results - page 69 / 107 » Checking Computations in Polylogarithmic Time |
JAL
2006
13 years 9 months ago
2006
We present a new algorithm, called LB-Triang, which computes minimal triangulations. We give both a straightforward O(nm0) time implementation and a more involved O(nm) time imple...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We propose a fast approach for detecting collisionfree swing-foot trajectories for legged locomotion over extreme terrains. Instead of simulating the swing trajectories...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...