Search Sciweavers | Sciweavers

30

FORTE
1998

105views Formal Methods» more FORTE 1998»

13 years 10 months ago

Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...

Judi Romijn, Jan Springintveld

claim paper

Read More »

29

click to vote

NPL
2010

135views more NPL 2010»

A Novel Regularization Learning for Single-View Patterns: Multi-View Discriminative Regularization

13 years 7 months ago

Download parnec.nuaa.edu.cn

The existing Multi-View Learning (MVL) is to discuss how to learn from patterns with multiple information sources and has been proven its superior generalization to the usual Sing...

Zhe Wang, Songcan Chen, Hui Xue, Zhisong Pan

claim paper

Read More »

28

click to vote

ECAI
2004
Springer

102views Artificial Intelligence» more ECAI 2004»

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern

14 years 2 months ago

Download www.cs.york.ac.uk

Finite-domain constraint programming can be used to solve a wide range of problems by ﬁrst modelling the problem as a set of constraints that characterise the problem’s solutio...

Alan M. Frisch, Christopher Jefferson, Ian Miguel

claim paper

Read More »

31

click to vote

ICIP
2005
IEEE

164views Image Processing» more ICIP 2005»

Eigenwalks: walk detection and biometrics from symmetry patterns

14 years 10 months ago

Download www.sztaki.hu

In this paper we present a symmetry-based approach which can be used to detect humans and to extract biometric characteristics from video image-sequences. The method employs a simp...

Laszlo Havasi, Tamás Szirányi, Zolt&...

claim paper

Read More »

27

click to vote

IJBC
2008

66views more IJBC 2008»

Symmetry and Synchrony in Coupled Cell Networks 3 Exotic Patterns

13 years 7 months ago

Download www.ime.usp.br

Fernando Antoneli, Ian Stewart

claim paper