Sciweavers

3824 search results - page 201 / 765
» Geometry Constructions Language
Sort
View
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 5 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
LPAR
2000
Springer
15 years 4 months ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
AGP
1995
IEEE
15 years 4 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara
ACII
2005
Springer
15 years 2 months ago
Hand Motion Recognition for the Vision-based Taiwanese Sign Language Interpretation
In this paper we present a system to recognize the hand motion of Taiwanese Sign Language (TSL) using the Hidden Markov Models (HMMs) through a vision-based interface. Our hand mot...
Chia-Shiuan Cheng, Pi-Fuei Hsieh, Chung-Hsien Wu
90
Voted
LREC
2010
165views Education» more  LREC 2010»
15 years 2 months ago
Collection of Usage Information for Language Resources from Academic Articles
Recently, language resources (LRs) are becoming indispensable for linguistic researches. However, existing LRs are often not fully utilized because their variety of usage is not w...
Shunsuke Kozawa, Hitomi Tohyama, Kiyotaka Uchimoto...