18209 search results - page 3342 / 3642 » Some Remarks on the Paper |
171
Voted
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we initiate the study of the AND-OR directed feedback vertex set problem from the viewpoint of approximation algorithms. This AND-OR feedback vertex set problem is m...
159
click to vote
ICCNMC
2005
Springer
16 years 9 days ago
2005
Springer
— In this paper, we address a sensor network lifetime problem that maintains a certain throughput in an environment where physical node destruction is possible. While lifetime is...
188
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
185
click to vote
ICFEM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
188
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...