2664 search results - page 292 / 533 » Theory by Process |
130
click to vote
COSIT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
133
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
181
click to vote
ICALP
2005
Springer
16 years 5 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 ...
205
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
218
click to vote
WILF
2005
Springer
16 years 4 days ago
2005
Springer
Computing methods that allow the efficient and accurate processing of experimentally gathered data play a crucial role in biological research. The aim of this paper is to present a...