1269 search results - page 99 / 254 » Pi-Calculus in Logical Form |
92
Voted
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
104
Voted
TARK
1998
Springer
15 years 4 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
112
click to vote
BIRTHDAY
1997
Springer
15 years 4 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
100
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Factoring is a logic minimization technique to represent a Boolean function in an equivalent function with minimum literals. When realizing the circuit, a function represented in ...
101
click to vote
FUZZIEEE
2007
IEEE
15 years 2 months ago
2007
IEEE
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...