5900 search results - page 265 / 1180 » Dependable Systems |
196
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
177
click to vote
RTAS
1995
IEEE
15 years 10 months ago
1995
IEEE
The rate monotonic scheduling algorithm is a commonly used task scheduling algorithm for periodic realtime task systems. This paper discusses feasibility decision for a given real...
168
click to vote
COLING
1992
15 years 7 months ago
1992
In Natural Language Processing (NLP), one key problem is how to design a robust and effective parsing system. In this paper, we will introduce a corpm- based Chinese parsing syste...
154
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed...
151
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We propose a novel point-based approach to view dependent isosurface extraction. We introduce a fast visibility query system for the view dependent traversal, which exhibits moder...