4355 search results - page 679 / 871 » From Interpretation to Compilation |
182
Voted
ENTCS
2006
15 years 5 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
178
click to vote
ESWA
2006
15 years 5 months ago
2006
Artificial intelligence (AI) has increasingly gained attention in bioinformatics research and computational molecular biology. With the availability of different types of AI algor...
186
click to vote
CGF
2007
15 years 5 months ago
2007
Recently, several real-time soft shadow algorithms have been introduced which all compute a single shadow map and use its texels to obtain a discrete scene representation. The res...
149
click to vote
IJVR
2008
15 years 5 months ago
2008
These Nowadays more Virtual Environment (VEs) are becoming available on the web. This means that VE are becoming more accessible to a larger and more diverse audience. It also mean...
148
click to vote
IVC
2006
15 years 5 months ago
2006
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...