236 search results - page 19 / 48 » Automated Generation of Interesting Theorems |
TOG
2008
13 years 7 months ago
2008
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-Failures of Internet services and enterprise systems lead to user dissatisfaction and considerable loss of revenue. Since manual diagnosis is often laborious and slow, the...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Shelf space allocation is the problem of efficiently arranging retail products on shelves in order to maximise profit, improve stock control, improve customer satisfaction, etc. ...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
We describe a system for synchronization and organization of user-contributed content from live music events. We start with a set of short video clips taken at a single event by m...