2702 search results - page 263 / 541 » Practically Applicable Formal Methods |
116
click to vote
GMP
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. This paper focuses on an important aspect of cardiac surgical simulation, which is the deformation of mesh models to form smooth joins between them. A novel algorithm bas...
108
click to vote
WABI
2004
Springer
15 years 7 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
131
Voted
ICDM
2002
IEEE
15 years 7 months ago
2002
IEEE
We have proposed replicator neural networks (RNNs) as an outlier detecting algorithm [15]. Here we compare RNN for outlier detection with three other methods using both publicly a...
134
click to vote
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
A new method of handling the kinematic singularities of serial robotic manipulators is proposed. The idea is to transform the manipulator's workspace W into a desingularized ...
102
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Motivated by combinatorial optimization theory, we propose an algorithmic power allocation method that minimizes the total transmitting power in transmitter diversity systems, prov...