3758 search results - page 463 / 752 » A Complete Subsumption Algorithm |
158
click to vote
ISSAC
2007
Springer
16 years 25 days ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
205
click to vote
LOPSTR
2007
Springer
16 years 25 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
174
click to vote
3DPVT
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a registration framework based on feature points of anatomical 3D shapes represented in the point cloud domain. Anatomical information is utilized throughout the comple...
183
Voted
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Design of System-on-Chip (SoC) with regular mesh based Network-on-Chip (NoC) consists of mapping processing cores to routers, and routing of the traffic traces on the topology suc...
201
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. Our aim is to study the performance as perceived by users in a dynamic setting...