11740 search results - page 2023 / 2348 » More Problems in Rewriting |
204
Voted
WOLLIC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
205
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
188
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Continuous analytics systems that enable query processing over steams of data have emerged as key solutions for dealing with massive data volumes and demands for low latency. Thes...
207
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Adaptive Operator Selection (AOS) turns the impacts of the applications of variation operators into Operator Selection through a Credit Assignment mechanism. However, most Credit ...
209
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
An important goal for the generative and developmental systems (GDS) community is to show that GDS approaches can compete with more mainstream approaches in machine learning (ML)....