20126 search results - page 3589 / 4026 » Timed Transition Systems |
202
Voted
KR
2000
Springer
15 years 10 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
150
click to vote
NGC
2000
Springer
15 years 10 months ago
2000
Springer
Replication is known to offer high availability in the presence of failures. This paper considers the case of a client making invocations on a group of replicated servers. It iden...
192
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more ...
189
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
160
click to vote
COMPGEOM
1995
ACM
15 years 10 months ago
1995
ACM
Abstract. We show that there is a matching between the edges of any two triangulations of a planar point set such that an edge of one triangulation is matched either to the identic...