Sciweavers

3604 search results - page 519 / 721
» All Common Subsequences
Sort
View
IANDC
2010
68views more  IANDC 2010»
15 years 5 months ago
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
Antonín Kucera, Richard Mayr
IJCGA
2010
155views more  IJCGA 2010»
15 years 4 months ago
Competitive Complexity of Mobile Robot on-Line Motion Planning Problems
This paper is concerned with on-line problems where a mobile robot of size D has to achieve a task in an unknown planar environment whose geometry is acquired by the robot during ...
Yoav Gabriely, Elon Rimon
IJCV
2010
362views more  IJCV 2010»
15 years 4 months ago
Tracking in a Dense Crowd Using Multiple Cameras
Abstract Tracking people in a dense crowd is a challenging problem for a single camera tracker due to occlusions and extensive motion that make human segmentation difficult. In th...
Ran Eshel, Yael Moses
IJIPT
2010
147views more  IJIPT 2010»
15 years 4 months ago
On investigating ARP spoofing security solutions
: The Address Resolution Protocol (ARP) has proven to work well under regular circumstances, but it was not designed to cope with malicious hosts. By performing ARP spoofing attack...
Zouheir Trabelsi, Wassim El-Hajj
IJRR
2010
91views more  IJRR 2010»
15 years 4 months ago
Design and Kinematic Modeling of Constant Curvature Continuum Robots: A Review
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...
Robert J. Webster III, Bryan A. Jones