8766 search results - page 519 / 1754 » Functional logic programming |
129
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
144
Voted
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
—In this paper, we formulate an optimization problem for the design of light-tree based logical topology in Wavelength Division Multiplexing (WDM) networks. The problem is compri...
147
click to vote
ISMVL
2008
IEEE
15 years 11 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
128
Voted
ISQED
2010
IEEE
15 years 9 months ago
2010
IEEE
We analyze the neutron induced soft error rate (SER) by modeling induced error pulse using two parameters, occurrence frequency and probability density function for the pulse widt...
116
Voted
ISMVL
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...