3238 search results - page 174 / 648 » Not Enough Points Is Enough |
182
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
160
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
146
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present efficient closed-form formulas to estimate capacitive coupling-induced crosstalk noise for distributed RC coupling trees. The efficiency of our approach...
154
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an experimental evaluation of a brake-by-wire application that tolerates transient faults by temporal error masking. A specially designed real-time kernel that...
164
click to vote
DSRT
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...