7118 search results - page 836 / 1424 » Electrical and Computer Engineering |
162
Voted
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
ABSTRACT. The maximum independent set problem (MAXIS) on general graphs is known to be NPhard to approximate within a factor of n1-, for any > 0. However, there are many "...
202
Voted
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objectiv...
181
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
168
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
164
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Instrumented with multiple depth cameras and projectors, LightSpace is a small room installation designed to explore a variety of interactions and computational strategies related...