3388 search results - page 146 / 678 » Type-theoretic design patterns |
146
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
179
click to vote
CINQ
2004
Springer
15 years 11 months ago
2004
Springer
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Templat...
146
Voted
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...
151
click to vote
DLS
2007
15 years 10 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
139
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...