Sciweavers

835 search results - page 9 / 167

» Geometric Logic in Computer Science

17

RTA
2007
Springer

81views Theoretical Computer Science» more RTA 2007»

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

14 years 2 months ago

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

Download fsl.cs.uiuc.edu

Mark Hills, Grigore Rosu

claim paper

Read More »

28

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

14 years 24 days ago

Local Normal Forms for First-Order Logic with Applications to Games and Automata

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

17

ICALP
2005
Springer

116views Programming Languages» more ICALP 2005»

On the Cover Time of Random Geometric Graphs

14 years 2 months ago

On the Cover Time of Random Geometric Graphs

Download www.bgu.ac.il

Chen Avin, Gunes Ercal

claim paper

Read More »

21

WOLLIC
2009
Springer

88views Artificial Intelligence» more WOLLIC 2009»

Mathematical Logic for Life Science Ontologies

14 years 3 months ago

Mathematical Logic for Life Science Ontologies

Download lc2009.fmi.uni-sofia.bg

Carsten Lutz, Frank Wolter

claim paper

Read More »

32

FCCM
2009
IEEE

204views VLSI» more FCCM 2009»

Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs

14 years 14 days ago

Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs

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

Geometric algebra (GA) is a mathematical framework that allows the compact description of geometric relationships and algorithms in many fields of science and engineering. The exe...

Holger Lange, Florian Stock, Andreas Koch, Dietmar...

claim paper

Read More »

« Prev « First page 9 / 167 Last » Next »