2308 search results - page 423 / 462 » Categorial Semantics For LFG |
153
click to vote
PEPM
2007
ACM
16 years 6 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
171
click to vote
PPDP
2007
Springer
16 years 6 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
172
click to vote
ICMCS
2006
IEEE
16 years 3 days ago
2006
IEEE
In this paper, we propose an approach for TV commercial video classification by the categories of advertised products or services (e.g. automobiles, healthcare products, etc). Sin...
164
click to vote
IEEEPACT
2006
IEEE
16 years 3 days ago
2006
IEEE
Multiprocessor operating systems (OSs) pose several unique and conflicting challenges to System Virtual Machines (System VMs). For example, most existing system VMs resort to gan...
179
click to vote
ASPLOS
2006
ACM
16 years 1 days ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...