Sciweavers

2252 search results - page 71 / 451
» Regular expression patterns
Sort
View
136
Voted
ECCV
2010
Springer
15 years 3 months ago
Intrinsic Regularity Detection in 3D Geometry
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
Niloy J. Mitra, Alexander M. Bronstein, Michael M....
ICALP
2000
Springer
15 years 5 months ago
Reasoning about Idealized ALGOL Using Regular Languages
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
Dan R. Ghica, Guy McCusker
121
Voted
ICTAC
2007
Springer
15 years 8 months ago
Regular Linear Temporal Logic
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
Martin Leucker, César Sánchez
109
Voted
MCS
2009
Springer
15 years 9 months ago
Selective Ensemble under Regularization Framework
An ensemble is generated by training multiple component learners for a same task and then combining them for predictions. It is known that when lots of trained learners are availab...
Nan Li, Zhi-Hua Zhou
74
Voted
COLING
1994
15 years 3 months ago
Parsing A Flexible Word Order Language
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their ...
Vladimir Pericliev, Alexander Grigorov