443 search results - page 39 / 89 » The Lost Art of Abstraction |
70
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
80
Voted
ACII
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Artists use words, lines, shapes, color, sound and their bodies to express emotions. Virtual humans use postures, gestures, face and voice to express emotions. Why are th...
HM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...
89
Voted
MIG
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
63
Voted
LICS
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract. We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the emptiness problem for the intersection of recognizab...