Sciweavers

2409 search results - page 133 / 482
» On Extended Regular Expressions
Sort
View
115
Voted
ICPR
2008
IEEE
15 years 11 months ago
A least square kernel machine with box constraints
In this paper, we present a least square kernel machine with box constraints (LSKMBC). The existing least square machines assume Gaussian hyperpriors and subsequently express the ...
Jayanta Basak
QEST
2008
IEEE
15 years 11 months ago
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye...
137
Voted
VL
2007
IEEE
157views Visual Languages» more  VL 2007»
15 years 10 months ago
Spider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
Aidan Delaney, Gem Stapleton
CAAP
1994
15 years 8 months ago
Some Results on Top-Context-Free Tree Languages
Top-context-free tree languages (called cor gulier by Arnold and Dauchet 1, 2]) constitute a natural subclass of context-free tree languages. In this paper, we give further evidenc...
Dieter Hofbauer, Maria Huber, Gregory Kucherov
CVPR
2008
IEEE
15 years 4 months ago
Robust learning of discriminative projection for multicategory classification on the Stiefel manifold
Learning a robust projection with a small number of training samples is still a challenging problem in face recognition, especially when the unseen faces have extreme variation in...
Duc-Son Pham, Svetha Venkatesh