15660 search results - page 295 / 3132 » The Unbalance of Set Systems |
135
Voted
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper, we are concerned with the problem of location of inspection centers in a multistage manufacturing system. A Genetic algorithm based approach is developed to determi...
324
Voted
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
231
Voted
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
The paper presents an approach for performance and complexity analysis of hardware/software implementations for real-time systems on every stage of the partitioning. There are two...
180
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
140
Voted
ANLP
2000
15 years 8 months ago
2000
We report on a method for utilising corpora collected in natural settings. It is based on distilling re-writing natural dialogues to elicit the type of dialogue that would occur i...