5639 search results - page 670 / 1128 » Timed Abstract Non-interference |
175
click to vote
ESA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present new approximation schemes for various classical problems of finding the minimum-weight spanning subgraph in edge-weighted undirected planar graphs that are re...
153
Voted
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Radio Frequency Identification (RFID) finds use in numerous applications involving item identification and tracking. In a typical application, RFID tags are attached t...
192
click to vote
HIPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Linear scan register allocation is an attractive register allocation algorithm because of its simplicity and fast running time. However, it is generally felt that linear ...
153
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...
161
click to vote
ISCIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we examine the use of keywords in text categorization with SVM. In contrast to the usual belief, we reveal that using keywords instead of all words yields ...