5550 search results - page 663 / 1110 » Different Approaches to Proof Systems |
160
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
184
click to vote
JMLR
2002
15 years 6 months ago
2002
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...
233
click to vote
MDM
2010
Springer
15 years 5 months ago
2010
Springer
— We introduce a novel strategy for data processing in Wireless Sensor Networks (WSNs) in the case of emergency fire evacuation with stringent delay constraints. Such networks sh...
210
click to vote
ICTAI
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce a new plan repair method for problems cast as Mixed Integer Programs. In order to tackle the inherent complexity of these NP-hard problems, our approach relies on the ...
180
click to vote
ACL
2009
15 years 5 months ago
2009
An important and well-studied problem is the production of semantic lexicons from a large corpus. In this paper, we present a system named ASIA (Automatic Set Instance Acquirer), ...