2338 search results - page 377 / 468 » Community computing and the computing community |
104
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In many real-world planning scenarios, the users are interested in optimizing multiple objectives (such as makespan and execution cost), but are unable to express their exact trad...
101
Voted
COGSR
2010
14 years 10 months ago
2010
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
136
click to vote
TVCG
2011
14 years 10 months ago
2011
—In this paper, we present the results of a human computer interaction experiment that compared the performance of the animation of dynamic graphs to the presentation of small mu...
106
click to vote
EJWCN
2010
14 years 10 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
141
click to vote
IALP
2010
14 years 10 months ago
2010
With more and more reviews on the web, browsing through a mass of the related reviews becomes a heavy work. How to effectively analyzing and organizing these reviews attracts more...