2944 search results - page 52 / 589 » On Well Quasi-orders on Languages |
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
It is difficult to recognize sign language in different viewpoint. The HMM method is hindered by the difficulty of extracting view invariant features. The general template matchin...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
ADBIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
E4MAS
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...