Sciweavers

4324 search results - page 96 / 865
» A Generalized Representer Theorem
Sort
View
CADE
2007
Springer
16 years 4 months ago
System Description: E-KRHyper
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
Björn Pelzer, Christoph Wernhard
ISCAS
2007
IEEE
75views Hardware» more  ISCAS 2007»
15 years 10 months ago
State-Space Analysis of Power Complementary Analog Filters
Abstract— This paper presents a new analysis of power complementary analog filters using the state-space representation. Our analysis is based on the bounded-real Riccati equati...
Shunsuke Koshita, Masahide Abe, Masayuki Kawamata
ANOR
2008
89views more  ANOR 2008»
15 years 4 months ago
Ordered sets with interval representation and ( m , n )-Ferrers relation
: Semiorders may form the simplest class of ordered sets with a not necessarily transitive indifference relation. Their generalization has given birth to many other classes of orde...
Meltem Öztürk
ICIP
2001
IEEE
16 years 5 months ago
Invariant representation in image processing
The paper discusses the role of invariance in image processing, specifically the desire to discriminate against unwanted variations in the scene while maintaining the power to tel...
Arnold W. M. Smeulders, Jan-Mark Geusebroek, Theo ...
SIGECOM
2003
ACM
92views ECommerce» more  SIGECOM 2003»
15 years 9 months ago
Multi-attribute exchange market: representation and indexing of orders
We present an automated exchange for trading complex goods, such as used cars, which allows traders to describe desirable purchases and sales by multiple attributes. The developed...
Eugene Fink, Josh Johnson, John Hershberger 0002