Sciweavers

10790 search results - page 1684 / 2158
» Using feature models to automate model transformations
Sort
View
PAMI
2002
157views more  PAMI 2002»
15 years 6 months ago
Automatic Recognition of Handwritten Numerical Strings: A Recognition and Verification Strategy
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
Luiz E. Soares de Oliveira, Robert Sabourin, Fl&aa...
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 5 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
GI
2009
Springer
15 years 4 months ago
A Framework for Multiple Radar and Multiple 2D/3D Camera Fusion
Abstract: In this paper we present a framework for the fusion of radar and image information. In the case considered here we combine information from multiple closerange radars to ...
Marek Schikora, Benedikt Romba
WOODPECKER
2001
15 years 8 months ago
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....
ICMI
2009
Springer
105views Biometrics» more  ICMI 2009»
16 years 1 months ago
Grounding spatial prepositions for video search
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
Stefanie Tellex, Deb Roy
« Prev « First page 1684 / 2158 Last » Next »