2652 search results - page 386 / 531 » Path Differentials and Applications |
204
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Emerging embedded system applications in multimedia and image processing are characterized by complex control flow consisting of deeply nested conditionals and loops. We present a...
150
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
133
click to vote
IWAN
2000
Springer
15 years 8 months ago
2000
Springer
Recently, active networks have been highlighted as a key enabling technology to obtain immense flexibility in terms of network deployment, configurability, and packet processing. E...
121
Voted
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...
143
click to vote
AAAI
2007
15 years 7 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...