Sciweavers

4235 search results - page 240 / 847
» Processes in Space
Sort
View
JCST
2010
109views more  JCST 2010»
15 years 1 months ago
Feature Preserving Mesh Simplification Using Feature Sensitive Metric
We present a new method for feature preserving mesh simplification based on feature sensitive (FS) metric. Previous quadric error based approach is extended to a high-dimensional F...
Jin Wei, Yu Lou
MICAI
2000
Springer
15 years 10 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green
SIPS
2007
IEEE
16 years 25 days ago
Sphere Decoding for Multiprocessor Architectures
Motivated by the need for high throughput sphere decoding for multipleinput-multiple-output (MIMO) communication systems, we propose a parallel depth-first sphere decoding (PDSD)...
Qi Qi, Chaitali Chakrabarti
CIA
2004
Springer
15 years 12 months ago
Society-Centered Design for Socially Embedded Multiagent Systems
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
Toru Ishida
VISUALIZATION
1998
IEEE
15 years 10 months ago
Constrained optimal framings of curves and surfaces using quaternion Gauss maps
We propose a general paradigm for computing optimal coordinate frame fields that may be exploited to visualize curves and surfaces. Parallel-transport framings, which work well fo...
Andrew J. Hanson