Sciweavers

1399 search results - page 32 / 280
» Multi-party Finite Computations
Sort
View
ACTAC
2006
94views more  ACTAC 2006»
13 years 10 months ago
MedEdit: A Computer Assisted Image Processing and Navigation System for Orthopedic Trauma Surgery
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
Krisztián Ollé, Balázs Erd&ou...
ICCS
2004
Springer
14 years 3 months ago
Finite Element Model of Fracture Formation on Growing Surfaces
We present a model of fracture formation on surfaces of bilayered materials. The model makes it possible to synthesize patterns of fractures induced by growth or shrinkage of one ...
Pavol Federl, Przemyslaw Prusinkiewicz
FOCS
1998
IEEE
14 years 2 months ago
Approximating a Finite Metric by a Small Number of Tree Metrics
Moses Charikar, Chandra Chekuri, Ashish Goel, Sudi...
BIRTHDAY
2008
Springer
13 years 12 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...