Sciweavers

4218 search results - page 453 / 844
» Complete sets of cooperations
Sort
View
FGR
2004
IEEE
130views Biometrics» more  FGR 2004»
15 years 11 months ago
Sparse Models for Gender Classification
A class of sparse regularization functions are considered for the developing sparse classifiers for determining facial gender. The sparse classification method aims to both select...
Nicholas Costen, Martin Brown, Shigeru Akamatsu
CONCUR
2006
Springer
15 years 11 months ago
On Interleaving in Timed Automata
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
Ramzi Ben Salah, Marius Bozga, Oded Maler
DAWAK
2006
Springer
15 years 11 months ago
Efficient Mining of Large Maximal Bicliques
Abstract. Many real world applications rely on the discovery of maximal biclique subgraphs (complete bipartite subgraphs). However, existing algorithms for enumerating maximal bicl...
Guimei Liu, Kelvin Sim, Jinyan Li
EWCBR
2006
Springer
15 years 11 months ago
Retrieving and Reusing Game Plays for Robot Soccer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
Raquel Ros, Manuela M. Veloso, Ramon López ...
ICALP
2000
Springer
15 years 11 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