Sciweavers

370 search results - page 20 / 74
» Mathematical Symbol Indexing
Sort
View
AISC
2008
Springer
14 years 11 months ago
Symbolic Computation Software Composability
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
Sebastian Freundt, Peter Horn, Alexander Konovalov...
VLDB
2007
ACM
122views Database» more  VLDB 2007»
15 years 10 months ago
MIST: Distributed Indexing and Querying in Sensor Networks using Statistical Models
The modeling of high level semantic events from low level sensor signals is important in order to understand distributed phenomena. For such content-modeling purposes, transformat...
Arnab Bhattacharya, Anand Meka, Ambuj K. Singh
SOFSEM
2012
Springer
13 years 5 months ago
Turing Machines for Dummies - Why Representations Do Matter
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
Peter van Emde Boas
ISBI
2006
IEEE
15 years 10 months ago
Automatic landmark detection in uterine cervix images for indexing in a content-retrieval system
This work is motivated by the need for visual information extraction and management in the growing field of content based image retrieval from medical archives. In particular it f...
Gali Zimmerman, Shiri Gordon, Hayit Greenspan
CORR
2012
Springer
191views Education» more  CORR 2012»
13 years 5 months ago
The limiting distribution for the number of symbol comparisons used by QuickSort is nondegenerate (extended abstract)
erate (Extended Abstract) Patrick Bindjeme1† and James Allen Fill1 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Bal...
Patrick Bindjeme, James Allen Fill