Sciweavers

411 search results - page 21 / 83
» The Structural Form in Image Categorization
Sort
View
ESANN
2001
15 years 4 months ago
Rectified Gaussian distributions and the formation of local filters from video data
We investigate the use of an unsupervised artificial neural network to form a sparse representation of the underlying causes in a data set. By using fixed lateral connections that...
Emilio Corchado, Darryl Charles, Colin Fyfe
DEXAW
2007
IEEE
105views Database» more  DEXAW 2007»
15 years 9 months ago
Classifying XML Documents by Using Genre Features
The categorization of documents is traditionally topic-based. This paper presents a complementary analysis of research and experiments on genre to show that encouraging results ca...
Malcolm Clark, Stuart N. K. Watt
BIRTHDAY
2000
Springer
15 years 7 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...
ENTCS
2006
124views more  ENTCS 2006»
15 years 3 months ago
Generic Trace Theory
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
IGPL
2010
156views more  IGPL 2010»
15 years 1 months ago
Fusion of sequent modal logic systems labelled with truth values
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
João Rasga, Karina Roggia, Cristina Sernada...