Sciweavers

3653 search results - page 488 / 731
» On Recognizable Timed Languages
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 11 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
GW
2003
Springer
150views Biometrics» more  GW 2003»
15 years 11 months ago
Database Indexing Methods for 3D Hand Pose Estimation
Abstract. Estimation of 3D hand pose is useful in many gesture recognition applications, ranging from human-computer interaction to automated recognition of sign languages. In this...
Vassilis Athitsos, Stan Sclaroff
ICALP
2003
Springer
15 years 11 months ago
Optimal Cache-Oblivious Implicit Dictionaries
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
Gianni Franceschini, Roberto Grossi
IDEAL
2003
Springer
15 years 11 months ago
Towards a Terabyte Digital Library System
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
Hao Ding, Yun Lin, Bin Liu
ICFCA
2010
Springer
15 years 11 months ago
Concept Neighbourhoods in Lexical Databases
This paper discusses results from an experimental study of concept neighbourhoods in WordNet and Roget’s Thesaurus. The general aim of this research is to determine ways in which...
Uta Priss, L. John Old