Sciweavers

3690 search results - page 585 / 738
» Computation with classical sequents
Sort
View
110
Voted
GLOBECOM
2008
IEEE
14 years 10 months ago
On the Impact of Caching for High Performance Packet Classifiers
Hash functions have a space complexity of O(n) and a possible time complexity of O(1). Thus, packet classifiers exploit hashing to achieve packet classification in wire speed. Esp...
Harald Widiger, Andreas Tockhorn, Dirk Timmermann
ISVC
2010
Springer
14 years 11 months ago
A Meshless Method for Variational Nonrigid 2-D Shape Registration
We present a method for nonrigid registration of 2-D geometric shapes. Our contribution is twofold. First, we extend the classic chamfer-matching energy to a variational functional...
Wei Liu, Eraldo Ribeiro
AAMAS
2010
Springer
14 years 10 months ago
Teaching a pet-robot to understand user feedback through interactive virtual training tasks
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
Anja Austermann, Seiji Yamada
113
Voted
ACS
2008
14 years 10 months ago
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
Robert Wisbauer
AMCS
2008
146views Mathematics» more  AMCS 2008»
14 years 10 months ago
Fault Detection and Isolation with Robust Principal Component Analysis
Principal component analysis (PCA) is a powerful fault detection and isolation method. However, the classical PCA which is based on the estimation of the sample mean and covariance...
Yvon Tharrault, Gilles Mourot, José Ragot, ...