Sciweavers

524 search results - page 76 / 105
» ets 2010
Sort
View
GECCO
2010
Springer
127views Optimization» more  GECCO 2010»
13 years 6 months ago
Set-based multi-objective optimization, indicators, and deteriorative cycles
Evolutionary multi-objective optimization deals with the task of computing a minimal set of search points according to a given set of objective functions. The task has been made e...
Rudolf Berghammer, Tobias Friedrich, Frank Neumann
INFOCOM
2010
IEEE
13 years 6 months ago
Towards Reliable Scheduling Schemes for Long-lived Replaceable Sensor Networks
—To address energy constraint problem in sensor networks, node reclamation and replacement strategy has been proposed for networks accessible to human beings and robots. The majo...
Bin Tong, Zi Li, Guiling Wang, Wensheng Zhang
JAPLL
2010
98views more  JAPLL 2010»
13 years 6 months ago
On database query languages for K-relations
The relational model has recently been extended to so-called K-relations in which tuples are assigned a unique value in a semiring K. A query language, denoted by RAC K , similar ...
Floris Geerts, Antonella Poggi
JOLLI
2010
106views more  JOLLI 2010»
13 years 6 months ago
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
rder Abstract Categorial Grammars as Hyperedge Replacement Grammars Makoto Kanazawa National Institute of Informatics 2–1–2 Hitotsubashi, Chiyoda-ku, Tokyo, 101–8430, Japan A...
Makoto Kanazawa
KBSE
2010
IEEE
13 years 6 months ago
A bounded statistical approach for model checking of unbounded until properties
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, H...