2239 search results - page 233 / 448 » Computing with abstract matrix structures |
111
Voted
IJRR
2010
15 years 2 months ago
2010
Abstract The problem of generating uniform deterministic samples over the rotation group, SO(3), is fundamental to many fields, such as computational structural biology, robotics,...
136
Voted
ECEASST
2010
15 years 1 months ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...
112
Voted
ECEASST
2010
15 years 1 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
120
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...
149
Voted
COMPGEOM
2005
ACM
15 years 5 months ago
2005
ACM
Using inclusion-exclusion, we can write the indicator function of a union of finitely many balls as an alternating sum of indicator functions of common intersections of balls. We...