8587 search results - page 1569 / 1718 » Interactive dynamic abstraction |
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
STEP
2005
IEEE
14 years 4 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
TPHOL
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
KES
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...