3820 search results - page 639 / 764 » Bounded Model Debugging |
181
Voted
KR
2004
Springer
16 years 2 days ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
226
click to vote
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
172
click to vote
COOPIS
2003
IEEE
16 years 16 hour ago
2003
IEEE
Longevity of distributed computing middleware standards, such as CORBA, depend on their ability to support a range of applications by providing low overhead access in a uniform man...
185
Voted
FOCS
2003
IEEE
16 years 13 hour ago
2003
IEEE
The essence of an Internet router is an n ¡ n switch which routes packets from input to output ports. Such a switch can be viewed as a bipartite graph with the input and output p...
207
click to vote
ICRA
2003
IEEE
16 years 6 hour ago
2003
IEEE
— In this paper we present a novel method for robot path planning based on learning motion patterns. A motion pattern is defined as the path that results from applying a set of ...