8499 search results - page 84 / 1700 » cans 2009 |
112
click to vote
CPAIOR
2009
Springer
15 years 10 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...
132
click to vote
ESWS
2009
Springer
15 years 10 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 ...
123
click to vote
FDTC
2009
Springer
15 years 10 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...
149
Voted
FROCOS
2009
Springer
15 years 10 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...
128
click to vote
ICWL
2009
Springer
15 years 10 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...