500 search results - page 47 / 100 » On the Hardness of Being Truthful |
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Digital mementos are increasingly problematic, as people acquire large amounts of digital belongings that are hard to access and often forgotten. Based on fieldwork with 10 famili...
115
click to vote
EUROMICRO
2009
IEEE
15 years 3 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
103
click to vote
BIRTE
2006
15 years 3 months ago
2006
Real-time enterprises rely on user queries being answered in a timely fashion and using fresh data. This is relatively easy when systems are lightly loaded and both queries and upd...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...