1448 search results - page 112 / 290 » Restricted Stack Implementations |
PPAM
2005
Springer
14 years 1 months ago
2005
Springer
Grid resource allocation is a complex task that is usually solved by systems relying on a centralized information system. In order to create a lightweight scheduling system, we inv...
DEXA
2004
Springer
14 years 1 months ago
2004
Springer
Topological predicates between spatial objects have always been a main area of research on spatial data handling, reasoning, and query languages. The focus of research has definit...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
ESOP
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
HAPTICS
2002
IEEE
14 years 22 days ago
2002
IEEE
This paper presents a study on the application of virtual fixtures as a control aid for performing telemanipulation or in the training environment. The implementation features bot...