Sciweavers

583 search results - page 17 / 117
» Computing Linking Numbers of a Filtration
Sort
View
HAPTICS
2007
IEEE
14 years 4 months ago
Free-Form Tactile Sensor Using 3-Dimensional Shape Capture Sheet
We are developing a novel sensing device named “3-dimensional capture sheet (3DCS)”. The cloth-like sheet measures its own 3D configuration. The sheet enables us to make a sof...
Takayuki Hoshi, Hiroyuki Shinoda
ISSAC
2007
Springer
83views Mathematics» more  ISSAC 2007»
14 years 4 months ago
Parallel computation of the rank of large sparse matrices from algebraic K-theory
This paper deals with the computation of the rank and some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in the ...
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pasc...
FSTTCS
2001
Springer
14 years 2 months ago
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hear...
PDCAT
2007
Springer
14 years 4 months ago
An Algorithm for Constructing Hamiltonian Cycle in Metacube Networks
The high-performance supercomputers will consist of several millions of CPUs in the next decade. The interconnection networks (INs) in such supercomputers play an important role. ...
Yamin Li, Shietung Peng, Wanming Chu
COMGEO
2008
ACM
13 years 10 months ago
Constructing minimum-interference networks
A wireless ad-hoc network can be represented as a graph in which the nodes represent wireless devices, and the links represent pairs of nodes that communicate directly by means of...
Marc Benkert, Joachim Gudmundsson, Herman J. Haver...