Sciweavers

2516 search results - page 499 / 504
» When is there a representer theorem
Sort
View
PVLDB
2010
128views more  PVLDB 2010»
13 years 6 months ago
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
Carlo Curino, Hyun Jin Moon, Alin Deutsch, Carlo Z...
SYNTHESE
2010
157views more  SYNTHESE 2010»
13 years 6 months ago
Which empathy? Limitations in the mirrored "understanding" of emotion
The recent discovery of so-called “mirror-neurons” in monkeys and a corresponding mirroring “system” in humans has provoked wide endorsement of the claim that humans under...
Remy Debes
FM
2009
Springer
134views Formal Methods» more  FM 2009»
13 years 6 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu
HVEI
2009
13 years 6 months ago
Crossmodal information for visual and haptic discrimination
Both our visual and haptic systems contribute to the perception of the three dimensional world, especially the proximal perception of objects. The interaction of these systems has...
Flip Phillips, Eric J. L. Egan
ICIP
2009
IEEE
13 years 6 months ago
Selecting representative and distinctive descriptors for efficient landmark recognition
To have a robust and informative image content representation for image categorization, we often need to extract as many as possible visual features at various locations, scales a...
Sheng Gao, Joo-Hwee Lim