Sciweavers

18429 search results - page 460 / 3686
» Typing dynamic typing
Sort
View
ICDAR
2005
IEEE
16 years 1 months ago
A Segmentation-free Approach for Keyword Search in Historical Typewritten Documents
In this paper, we propose a novel segmentation-free approach for keyword search in historical typewritten documents combining image preprocessing, synthetic data creation, word sp...
Basilios Gatos, Thomas Konidaris, Kostas Ntzios, I...
KES
2005
Springer
16 years 1 months ago
Using Relevance Feedback to Learn Both the Distance Measure and the Query in Multimedia Databases
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...
Chotirat (Ann) Ratanamahatana, Eamonn J. Keogh
SPIN
2005
Springer
16 years 1 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
DBISP2P
2004
Springer
150views Database» more  DBISP2P 2004»
16 years 1 months ago
Adapting the Content Native Space for Load Balanced Indexing
Today, there is an increasing demand to share data with complex data types (e.g., multi-dimensional) over large numbers of data sources. One of the key challenges is sharing these ...
Yanfeng Shu, Kian-Lee Tan, Aoying Zhou
CHI
1994
ACM
15 years 11 months ago
Repeat and predict: two keys to efficient text editing
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
Toshiyuki Masui, Ken Nakayama