Sciweavers

4865 search results - page 593 / 973
» The Complexity of Graph Connectivity
Sort
View
ISBI
2004
IEEE
16 years 7 months ago
Representing Multi-Figure Anatomical Objects
We use multi-figure m-reps to represent anatomical objects, such as human livers, with named components. Each component is represented as a single figure m-rep. These figures of t...
Qiong Han, Conglin Lu, Shawn Liu, Stephen M. Pizer...
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
16 years 7 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
DCC
2001
IEEE
16 years 6 months ago
The Invariants of the Clifford Groups
The automorphism group of the Barnes-Wall lattice Lm in dimension 2m (m = 3) is a subgroup of index 2 in a certain "Clifford group" Cm of structure 21+2m + .O+ (2m, 2). ...
Gabriele Nebe, Eric M. Rains, Neil J. A. Sloane
ECAL
2007
Springer
16 years 1 months ago
Information-Cloning of Scale-Free Networks
In this paper1 , we introduce a method, Assortative Preferential Attachment, to grow a scale-free network with a given assortativeness value. Utilizing this method, we investigate ...
Piraveenan Mahendra, Mikhail Prokopenko, Albert Y....
ESWS
2007
Springer
16 years 1 months ago
Acquisition of OWL DL Axioms from Lexical Resources
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
Johanna Völker, Pascal Hitzler, Philipp Cimia...