Search Sciweavers | Sciweavers

783 search results - page 18 / 157

» Bridging the Gaps

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 2 months 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 2 months 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

14 years 2 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

14 years 2 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers