7112 search results - page 1227 / 1423 » Power in normative systems |
177
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
167
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
142
click to vote
EUROGP
2010
Springer
15 years 9 months ago
2010
Springer
In previous work, we have demonstrated that it is possible to use Genetic Programming to minimise the resource consumption of software, such as its power consumption or execution t...
130
click to vote
AAAI
2007
15 years 8 months ago
2007
Symmetry is a widespread phenomenon that can offer opportunities for powerful exploitation in areas as diverse as molecular chemistry, pure mathematics, circuit design, biology an...
179
click to vote
AAAI
2008
15 years 8 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...