913 search results - page 6 / 183 » New polytopes from products |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In highly globalized industries such as the automotive industry, product development is strongly dependent on e-collaboration tools that hold the potential to capitalize on specia...
ATVA
2011
Springer
12 years 7 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
WSC
2004
13 years 8 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Different types of data skewness can result in load imbalance in the context of parallel joins under the shared nothing architecture. We study one important type of skewness, join ...
RECOMB
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...