Sciweavers

835 search results - page 9 / 167
» Geometric Logic in Computer Science
Sort
View
106
Voted
STACS
1998
Springer
15 years 6 months ago
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Thomas Schwentick, Klaus Barthelmann
79
Voted
ICALP
2005
Springer
15 years 7 months ago
On the Cover Time of Random Geometric Graphs
Chen Avin, Gunes Ercal
81
Voted
WOLLIC
2009
Springer
15 years 8 months ago
Mathematical Logic for Life Science Ontologies
Carsten Lutz, Frank Wolter
FCCM
2009
IEEE
204views VLSI» more  FCCM 2009»
15 years 5 months ago
Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs
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...