13306 search results - page 475 / 2662 » Theoretical Computer Science |
197
Voted
CSIE
2009
IEEE
16 years 12 days ago
2009
IEEE
We review some recent progress in improving the speed of electron microscope tomography through highly parallel algorithms implemented on parallel computers, clusters and graphics...
187
click to vote
WG
2004
Springer
16 years 1 months ago
2004
Springer
We show how to use split decomposition to compute the weighted clique number and the chromatic number of a graph and we apply these results to some classes of graphs. In particular...
213
click to vote
EXPCS
2007
15 years 11 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
185
click to vote
TCS
1998
15 years 7 months ago
1998
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
207
click to vote
RTA
1995
Springer
15 years 11 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...