630 search results - page 44 / 126 » Symbolic Domain Decomposition |
120
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
78
Voted
CEEMAS
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we present a motivational mechanism to generate and determine the worth of goals and to represent various constraints involved in satisfying a goal. The work builds o...
105
click to vote
ECML
2000
Springer
15 years 5 months ago
2000
Springer
We examine the role of simplicity in directing the induction of context-free grammars from sample sentences. We present a rational reconstruction of Wol 's SNPR { the Gridssys...
97
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— The search for optimality in the design of channel precoders and training symbols in block processing communication systems is one of paramount importance. Finding the best tra...
91
Voted
AVI
2004
15 years 2 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...