11345 search results - page 1593 / 2269 » Foundations of Computer Science |
193
click to vote
ICALP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
188
click to vote
ICCS
2005
Springer
16 years 23 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
180
click to vote
ICS
2005
Tsinghua U.
16 years 23 days ago
2005
Tsinghua U.
In order for collective communication routines to achieve high performance on different platforms, they must be able to adapt to the system architecture and use different algori...
193
click to vote
IVA
2005
Springer
16 years 23 days ago
2005
Springer
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
154
click to vote
MFCS
2005
Springer
16 years 22 days ago
2005
Springer
This paper deals with balanced leaf language complexity classes, introduced independently in [1] and [14]. We propose the seed concept for leaf languages, which allows us to give ...