5550 search results - page 363 / 1110 » Different Approaches to Proof Systems |
166
Voted
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
Nowadays multi-user VR systems are mostly aimed to social interaction, whereas exploitation of shared virtual environment for educational purposes has been mainly left aside. We i...
182
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
Checkpointing of parallel applications can be used as the core technology to provide process migration. Both, checkpointing and migration, are an important issue for parallel appl...
200
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
160
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
For the patent classification task of the 2010 CLEF-IP evaluation we have used three different approaches combining semantics and statistics-driven techniques: first approach is b...
291
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...