Sciweavers

4052 search results - page 689 / 811
» integration 2007
Sort
View
AMAI
2007
Springer
15 years 6 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
DAM
2008
117views more  DAM 2008»
15 years 6 months ago
Analysis on the strip-based projection model for discrete tomography
Discrete tomography deals with image reconstruction of an object with finitely many gray levels (such as two). Different approaches are used to model the raw detector reading. The...
Jiehua Zhu, Xiezhang Li, Yangbo Ye, Ge Wang
CAD
2007
Springer
15 years 6 months ago
A B-spline-based approach to heterogeneous objects design and analysis
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
Pinghai Yang, Xiaoping Qian
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 6 months ago
Negotiation in collaborative assessment of design solutions: an empirical study on a Concurrent Engineering process
In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotia...
Géraldine Martin, Françoise Dé...
CORR
2007
Springer
88views Education» more  CORR 2007»
15 years 6 months ago
Target assignment for robotic networks: asymptotic performance under limited communication
— We are given an equal number of mobile robotic agents, and distinct target locations. Each agent has simple integrator dynamics, a limited communication range, and knowledge of...
Stephen L. Smith, Francesco Bullo