1053 search results - page 99 / 211 » On k-Path Covers and their applications |
151
click to vote
SCAM
2007
IEEE
16 years 18 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
163
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Criminal behaviour often involves a combination of physical, mental, social and environmental (multi-)agent aspects, such as neurological deviations, hormones, arousal, (non)empat...
158
click to vote
CSCLP
2007
Springer
16 years 15 days ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
141
click to vote
ECTEL
2007
Springer
16 years 15 days ago
2007
Springer
This paper proposes a model-driven, extensible platform, delivered on the Web, which is able to support long-distance collaboration of students’ teams working on complex projects...
156
click to vote
FOCS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we introduce a new general framework for set covering problems, based on the combination of randomized rounding of the (near-)optimal solution of the Linear Programm...