2996 search results - page 480 / 600 » Dynamic Traveling Repairperson Problem for dynamic systems |
179
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
135
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
System performance in multi-agent resource allocation systems can often improve if individual agents reduce their activity. Agents in such systems need a way to modulate their ind...
194
click to vote
MIR
2010
ACM
15 years 12 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...
167
click to vote
RTAS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a QoS management framework that enables us to quantitatively measure QoS, and to analytically plan and allocate resources. In this model, end users' quality prefer...
175
click to vote
TITB
2008
15 years 6 months ago
2008
Abstract--The semantic web remains in the early stages of development. It has not yet achieved the goals envisioned by its founders as a pervasive web of distributed knowledge and ...