Search Sciweavers | Sciweavers

24

AGENTS
1997
Springer

158views Security Privacy» more AGENTS 1997»

High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent

13 years 11 months ago

We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...

Karen Zita Haigh, Manuela M. Veloso

claim paper

Read More »

20

click to vote

CAV
2010
Springer

154views Hardware» more CAV 2010»

Verifying Low-Level Implementations of High-Level Datatypes

13 years 11 months ago

Download cs.nyu.edu

For eﬃciency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...

Christopher L. Conway, Clark Barrett

claim paper

Read More »

24

click to vote

ASM
2010
ASM

264views Computational Biology» more ASM 2010»

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

13 years 9 months ago

Download cs.unibg.it

Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...

claim paper

Read More »

24

click to vote

AMW
2009

164views Knowledge Management» more AMW 2009»

Bi-Level Mapping: Combining Schema and Data Level Heterogeneity in Peer Data Sharing Systems

13 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Peer data sharing systems use either schema-level or data-level mappings to resolve schema as well as data heterogeneity among data sources (peers). Schema-level mappings...

Md. Anisur Rahman, Mehedi Masud, Iluju Kiringa, Ab...

claim paper

Read More »

19

click to vote

AML
2010

70views more AML 2010»

Indestructibility, instances of strong compactness, and level by level inequivalence

13 years 7 months ago