1805 search results - page 110 / 361 » Functional programming with structured graphs |
175
click to vote
SIGMOD
2008
ACM
16 years 1 months ago
2008
ACM
With ever-increasing amounts of graph data from disparate sources, there has been a strong need for exploiting significant graph patterns with user-specified objective functions. ...
150
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
118
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
120
click to vote
KES
2006
Springer
15 years 1 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...
TIT
2008
15 years 1 months ago
2008
This article describes new theoretical results concerning the general behavior of a Feedback with Carry Shift Register (FCSR) automaton. They help to better understand how the init...