4767 search results - page 917 / 954 » Structures for Abstract Rewriting |
110
Voted
DOCENG
2007
ACM
15 years 6 months ago
2007
ACM
Variable Data Printing (VDP) has brought new flexibility and dynamism to the printed page. Each printed instance of a specific class of document can now have different degrees of ...
134
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Finding an image’s exact GPS location is a challenging computer vision problem that has many real-world applications. In this paper, we address the problem of finding ...
104
Voted
EMMCVPR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we present an automatic human portrait system based on the And-Or graph representation. The system can automatically generate a set of life-like portraits ...
143
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
120
Voted
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...