13603 search results - page 254 / 2721 » On the Computational Complexity of Cut-Reduction |
175
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
In the domain of XML authoring, there have been many tools to help users to edit XML documents. These tools make it easier to produce complex documents by using such technologies ...
169
click to vote
VIIP
2001
15 years 8 months ago
2001
Graphics cards exercise increasingly more computing power and are highly optimized for high data transfer volumes. In contrast typical workstations perform badly when data exceeds...
140
Voted
CII
2006
15 years 6 months ago
2006
Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for s...
193
click to vote
JDCTA
2008
15 years 6 months ago
2008
Pervasive computing is an emerging computing paradigm, which is expected to be part of our everyday life in the foreseeable future. The coordination among heterogeneous devices, s...
169
click to vote
AICOM
2002
15 years 6 months ago
2002
The computational potential of artificial living systems can be studied without knowing the algorithms that govern their behavior. Modeling single organisms by means of socalled c...