Sciweavers

2933 search results - page 200 / 587
» Agent-Grid Integration Language
Sort
View
KES
2005
Springer
15 years 12 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 11 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 11 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...
GW
1999
Springer
100views Biometrics» more  GW 1999»
15 years 10 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 10 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