5084 search results - page 788 / 1017 » Proving Possibility Properties |
171
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
127
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper gives an overview on a Virtual electronic component or IP (Intellectual Property) exchange infrastructure whose main components are a XML "well structured IP e-cat...
167
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Advancing technology drives design technology and thus design automation EDA . How to model interconnect, how to handle degradation of signal integrity and increasing power densi...
139
click to vote
ICARCV
2002
IEEE
15 years 11 months ago
2002
IEEE
A novel method to estunate the chin contour which is the curve that separates the chin region from the neck region of a human face is proposed. The method assumes that the face an...
184
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Wormhole routing is most common in parallel architectures in which messages are sent in small fragments called flits. It is a lightweight and efficient method of routing message...