7213 search results - page 1082 / 1443 » Automated model grouping |
217
Voted
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
185
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this work we consider energy-efficient resource management in an environment monitoring and hazard detection sensor network. Our goal is to allocate different detection methods...
157
click to vote
MABS
2000
Springer
15 years 10 months ago
2000
Springer
In many group-living primates, males are dominant over females, but despite this dominance, they allow females access to resources during the period when females are sexually attra...
151
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
One of the main limitations when accessing the web is the lack of explicit structure, whose presence may help in understanding data semantics. Schema for web data can be constructe...
171
click to vote
EENERGY
2010
15 years 10 months ago
2010
Enabling a sophisticated Demand Response (DR) framework, whereby individual consumers adapt their electricity consumption in response to price variations, is a major objective of ...