8903 search results - page 7 / 1781 » Alternative |
129
Voted
GC
2006
Springer
15 years 3 months ago
2006
Springer
It is shown that for a set S of n pairwise disjoint axis-parallel line segments in the plane there is a simple alternating path of length ( n). This bound is best possible in the...
161
Voted
SIAMCOMP
2011
14 years 6 months ago
2011
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...
95
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
139
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
118
Voted
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...