2414 search results - page 201 / 483 » Computing Normal Subgroups |
CADE
2004
Springer
14 years 9 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
On a moving vehicle, speedy motion extraction from video is demanded. Different from the traditional motion estimation methods that track or match 2D features in consecutive motio...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Trifocal tensor encapsulates the geometric constraints between three views. It plays an important role in computer vision. However elements in measurement matrix of existing linea...
LAWEB
2007
IEEE
14 years 3 months ago
2007
IEEE
Personal robots are designed to provide entertainment, companion and communication interfaces. They can play an important role as natural, flexible and non-invasive interfaces to ...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...