Sciweavers

2741 search results - page 266 / 549
» Engineering Mathematical Knowledge
Sort
View
115
Voted
AMAST
2008
Springer
15 years 5 months ago
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
Yevgen Voronenko, Franz Franchetti, Fréd&ea...
136
Voted
AGI
2008
15 years 5 months ago
Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
Matthew Iklé, Ben Goertzel
127
Voted
DMS
2008
132views Multimedia» more  DMS 2008»
15 years 5 months ago
STRAT: a Sketched-truss Recognition and Analysis Tool
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...
Joshua M. Peschel, Tracy Anne Hammond
131
Voted
AVI
2006
15 years 5 months ago
Just how dense are dense graphs in the real world?: a methodological note
This methodological note focuses on the edge density of real world examples of networks. The edge density is a parameter of interest typically when putting up user studies in an e...
Guy Melançon
116
Voted
LDTA
2010
15 years 3 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju