Sciweavers

2933 search results - page 200 / 587
» Agent-Grid Integration Language
Sort
View
165
Voted
KES
2005
Springer
16 years 13 days 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
184
Voted
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
16 years 5 days 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
174
Voted
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...
145
Voted
GW
1999
Springer
100views Biometrics» more  GW 1999»
15 years 11 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