Sciweavers

133 search results - page 6 / 27
» Recognizing Mathematical Expressions Using Tree Transformati...
Sort
View
67
Voted
ROOM
2000
14 years 11 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
100
Voted
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 2 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
ADBIS
2004
Springer
111views Database» more  ADBIS 2004»
15 years 2 months ago
A High-Level Language for Specifying XML Data Transformations
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...
Tadeusz Pankowski
88
Voted
ISVC
2007
Springer
15 years 3 months ago
Feature-Adaptive Motion Energy Analysis for Facial Expression Recognition
In this paper, we present a facial expression recognition method using feature-adaptive motion energy analysis. Our method is simplicityoriented and avoids complicated face model r...
Sungkyu Noh, Hanhoon Park, Yoonjong Jin, Jong-Il P...
ECAI
2010
Springer
14 years 10 months ago
Nested Monte-Carlo Expression Discovery
Nested Monte-Carlo search is a general algorithm that gives good results in single player games. Genetic Programming evaluates and combines trees to discover expressions that maxim...
Tristan Cazenave