660 search results - page 83 / 132 » Hybrid CSP Solving |
133
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The performance of SIMD processors is often limited by the time it takes to transfer data between the centralized control unit and the parallel processor array. This is especially...
134
Voted
EDBTW
2004
Springer
15 years 9 months ago
2004
Springer
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
128
Voted
HYBRID
1999
Springer
15 years 7 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
155
Voted
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
147
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...