Search Sciweavers | Sciweavers

783 search results - page 18 / 157

» Bridging the Gap

click to vote

LPNMR
2009
Springer

155views Automated Reasoning» more LPNMR 2009»

Bridging the Gap between High-Level Reasoning and Low-Level Control

14 years 1 days ago

Download 193.255.135.175

We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...

Ozan Caldiran, Kadir Haspalamutgil, Abdullah Ok, C...

claim paper

Read More »

click to vote

SUM
2009
Springer

105views Information Technology» more SUM 2009»

Bridging the Gap between Abstract Argumentation Systems and Logic

14 years 13 hour ago

Download www.irit.fr

Leila Amgoud, Philippe Besnard

claim paper

Read More »

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

13 years 12 months ago

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »

click to vote

LCPC
2001
Springer

122views System Software» more LCPC 2001»

Bridging the Gap between Compilation and Synthesis in the DEFACTO System

13 years 12 months ago

Download www.isi.edu

Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...

Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoun...

claim paper

Read More »

click to vote

ACMDIS
2000
ACM

90views Human Computer Interaction» more ACMDIS 2000»

Video Artifacts for Design: Bridging the Gap Between Abstraction and Detail

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers