922 search results - page 137 / 185 » Controllability and Observability of Second Order Descriptor... |
178
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...
133
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
144
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a hybrid technique that combines List Scheduling (LS) with Genetic Algorithms (GA) for constructing non-preemptive schedules for soft real-time parallel applic...
123
click to vote
CCS
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
166
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...