7167 search results - page 1126 / 1434 » Answer Set Programming |
117
click to vote
FAW
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
156
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
131
click to vote
COORDINATION
2004
Springer
15 years 8 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
137
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
111
click to vote
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...