3670 search results - page 316 / 734 » Linear Recursive Functions |
264
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
163
click to vote
ALT
2002
Springer
16 years 4 months ago
2002
Springer
In this paper we study the question of whether identifiable classes have subclasses which are identifiable under a more restrictive criterion. The chosen framework is inductive ...
229
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
206
click to vote
BIRTHDAY
2005
Springer
16 years 24 days ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
176
click to vote
ISMVL
2002
IEEE
16 years 5 days ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...