Sciweavers

2933 search results - page 200 / 587
» Agent-Grid Integration Language
Sort
View
KES
2005
Springer
15 years 8 months ago
An OCR Post-processing Approach Based on Multi-knowledge
This paper proposes an OCR post-processing approach based on multi-knowledge, which integrates language knowledge and candidate distance information given by the OCR engine. In thi...
Li Zhuang, Xiaoyan Zhu
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
15 years 8 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
UML
2001
Springer
15 years 7 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
97
Voted
GW
1999
Springer
100views Biometrics» more  GW 1999»
15 years 7 months ago
Non-obvious Performer Gestures in Instrumental Music
Abstract. This paper deals with the gestural language of instrumentalists playing wind instruments. It discusses the role of non-obvious performer gestures that may nevertheless in...
Marcelo M. Wanderley
POPL
1991
ACM
15 years 6 months ago
Polymorphic Type Inference and Assignment
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
Xavier Leroy, Pierre Weis