215 search results - page 31 / 43 » Church-Rosser Made Easy |
ECCV
2008
Springer
15 years 22 days ago
2008
Springer
We have created the first image search engine based entirely on faces. Using simple text queries such as "smiling men with blond hair and mustaches," users can search thr...
DAC
2009
ACM
14 years 12 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
SIGSOFT
2006
ACM
14 years 11 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
WWW
2007
ACM
14 years 11 months ago
2007
ACM
Demographic information plays an important role in personalized web applications. However, it is usually not easy to obtain this kind of personal data such as age and gender. In t...