2182 search results - page 296 / 437 » A pretopological approach for structural analysis |
162
click to vote
ISVC
2009
Springer
16 years 28 days ago
2009
Springer
Modeling, characterization and analysis of biological shapes and forms are important in many computational biology studies. Shape representation challenges span the spectrum from s...
183
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
169
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Testing reachability between nodes in a graph is a well-known problem with many important applications, including knowledge representation, program analysis, and more recently, bi...
305
click to vote
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
144
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...