5510 search results - page 404 / 1102 » Mathematics |
160
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
This work introduces a general mathematical framework for non-stationary fitness functions which enables the exact definition of certain problem properties. The properties' in...
211
click to vote
SIGCSE
1991
ACM
15 years 10 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...
123
click to vote
AAAI
2008
15 years 9 months ago
2008
One potentially cost-effective approach to harvesting solar power from space is the use of thousands of individual robots moving in formation, each with a piece of solar panel att...
145
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
147
click to vote
USS
2008
15 years 9 months ago
2008
In this paper we attempt to answer two questions: (1) Why should we be interested in the security of control systems? And (2) What are the new and fundamentally different requirem...