Sciweavers

207 search results - page 24 / 42
» Powers of cycles, powers of paths, and distance graphs
Sort
View
PR
2006
152views more  PR 2006»
13 years 7 months ago
Edit distance-based kernel functions for structural pattern classification
A common approach in structural pattern classification is to define a dissimilarity measure on patterns and apply a distance-based nearest-neighbor classifier. In this paper, we i...
Michel Neuhaus, Horst Bunke
CAV
2004
Springer
121views Hardware» more  CAV 2004»
13 years 11 months ago
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
HoonSang Jin, Mohammad Awedh, Fabio Somenzi
JCSS
2011
95views more  JCSS 2011»
13 years 2 months ago
Hardness results for approximating the bandwidth
The bandwidth of an n-vertex graph G is the minimum value b such that the vertices of G can be mapped to distinct integer points on a line without any edge being stretched to a di...
Chandan K. Dubey, Uriel Feige, Walter Unger
MSN
2007
Springer
130views Sensor Networks» more  MSN 2007»
14 years 1 months ago
Localized Mobility Control Routing in Robotic Sensor Wireless Networks
The paper addresses mobility control routing in robotic sensor wireless networks, where either mobile sensors or mobile actuators assist in wireless data intensive transmissions fr...
Hai Liu, Amiya Nayak, Ivan Stojmenovic
ICPR
2004
IEEE
14 years 8 months ago
Simplest Representation Yet for Gait Recognition: Averaged Silhouette
We present a robust representation for gait recognition that is compact, easy to construct, and affords efficient matching. Instead of a time series based representation comprisin...
Sudeep Sarkar, Zongyi Liu