Sciweavers

6592 search results - page 153 / 1319
» On robust cycle bases
Sort
View
COMBINATORICS
2006
144views more  COMBINATORICS 2006»
15 years 6 months ago
Weighted Zeta Functions of Graph Coverings
We present a decomposition formula for the weighted zeta function of an irregular covering of a graph by its weighted L-functions. Moreover, we give a factorization of the weighte...
Iwao Sato
ENTCS
2006
99views more  ENTCS 2006»
15 years 6 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
PR
2006
145views more  PR 2006»
15 years 6 months ago
Gait recognition using linear time normalization
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
Nikolaos V. Boulgouris, Konstantinos N. Platanioti...
IPC
2007
IEEE
16 years 26 days ago
A Rapid Development Approach for Signal Strength Based Location Systems
Location systems are core technologies for enabling pervasive computing smart spaces. Signal Strength based location estimation offers economical viability and sufficient accurac...
Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young...
CEEMAS
2005
Springer
16 years 3 days ago
Dialectical Theory for Multi-agent Assumption-Based Planning
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
Damien Pellier, Humbert Fiorino