674 search results - page 21 / 135 » From Constructibility and Absoluteness to Computability and ... |
113
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
116
click to vote
AISB
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
ISSAC
2005
Springer
15 years 5 months ago
2005
Springer
Symmetric and semisymmetric graphs are used in many scientific domains, especially parallel computation and interconnection networks. The industry and the research world make a h...
APPROX
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We are interested in efficient algorithms for generating random samples from geometric objects such as Riemannian manifolds. As a step in this direction, we consider the ...
109
click to vote
CSCWD
2009
Springer
15 years 4 months ago
2009
Springer
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...