648 search results - page 93 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
98
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
117
Voted
ICAI
2004
15 years 9 days ago
2004
To ensure space flight safety, it is necessary to monitor myriad sensor readings on the ground and in flight. Since a space shuttle has many sensors, monitoring data and drawing c...
123
Voted
INFOCOM
2011
IEEE
14 years 2 months ago
2011
IEEE
—We formulate the problem of delay constrained energy-efficient broadcast in cooperative multihop wireless networks. We show that this important problem is not only NPcomplete, ...
85
Voted
LADS
2007
Springer
15 years 5 months ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
95
Voted
CEC
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper proposes a unique feedback governed multi layered architectural model to support ISP's traffic demands with multiple Quality of Service(QoS) constraints. The propos...