Sciweavers

4324 search results - page 537 / 865
» A Generalized Representer Theorem
Sort
View
STACS
1991
Springer
15 years 10 months ago
On Aperiodic Trace Languages
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
Giovanna Guaiana, Antonio Restivo, Sergio Salemi
SIGIR
2010
ACM
15 years 10 months ago
Spatial relationships in visual graph modeling for image categorization
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two diļ...
Trong-Ton Pham, Philippe Mulhem, Loïc Maisonn...
AIPS
2010
15 years 9 months ago
Computing Applicability Conditions for Plans with Loops
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
ACMSE
2008
ACM
15 years 8 months ago
Mining frequent sequential patterns with first-occurrence forests
In this paper, a new pattern-growth algorithm is presented to mine frequent sequential patterns using First-Occurrence Forests (FOF). This algorithm uses a simple list of pointers...
Erich Allen Peterson, Peiyi Tang
CCS
2008
ACM
15 years 8 months ago
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
Cas J. F. Cremers