8499 search results - page 84 / 1700 » cans 2009 |
93
Voted
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint pro...
100
click to vote
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Semantic Web technologies such as RDF are usually incorporated in the infrastructure of desktop and web applications and can currently not be entirely deployed on mobile ...
93
Voted
FDTC
2009
Springer
15 years 7 months ago
2009
Springer
—This paper shows that optical emissions from an operating chip have a good correlation with power traces and can therefore be used to estimate the contribution of different area...
113
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
105
Voted
ICWL
2009
Springer
15 years 7 months ago
2009
Springer
In online learning, communities can help to enhance learning. However, because of the dynamic nature of communities, attaining and sustaining these communities can be difficult. On...