Sciweavers

7379 search results - page 1007 / 1476
» How Many Clusters
Sort
View
MKM
2009
Springer
16 years 1 months ago
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...
Josef B. Baker, Alan P. Sexton, Volker Sorge
OTM
2009
Springer
16 years 1 months ago
DBpedia Live Extraction
The DBpedia project extracts information from Wikipedia, interlinks it with other knowledge bases, and makes this data available as RDF. So far the DBpedia project has succeeded in...
Sebastian Hellmann, Claus Stadler, Jens Lehmann, S...
SAFECOMP
2009
Springer
16 years 1 months ago
Probabilistic Failure Propagation and Transformation Analysis
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
Xiaocheng Ge, Richard F. Paige, John A. McDermid
SAT
2009
Springer
95views Hardware» more  SAT 2009»
16 years 1 months ago
Finding Lean Induced Cycles in Binary Hypercubes
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leop...
CANDC
2009
ACM
16 years 1 months ago
Nature of creative analogies in biologically inspired innovative design
Analogy is a fundamental process of creativity. Biologically inspired design by definition entails crossdomain analogies, and in practice has led to many innovative designs. Thus,...
Swaroop Vattam, Michael E. Helms, Ashok K. Goel
« Prev « First page 1007 / 1476 Last » Next »