Search Results - "Graphs."

381

Robust Boolean reasoning for equivalence checking and functional property verification. by Kuehlmann, A.

Published in IEEE Transactions on computer-aided design of integrated circuits and systems

Article

Robust Boolean reasoning for equivalence checking and functional property verification.

382

Graph matching by relaxation of fuzzy assignments. by Medasani, S.

Published in IEEE Transactions on fuzzy systems

Article

Graph matching by relaxation of fuzzy assignments.

383

Finding the mitral annular lines from 2-D + 1-D precordial echocardiogram using graph-search technique. by Yu-Tai Ching

Published in IEEE Transactions on information technology in biomedicine

Article

Finding the mitral annular lines from 2-D + 1-D precordial echocardiogram using graph-search technique.

384

Rapid automated three-dimensional tracing of neurons from confocal image stacks. by Al-Kofahi, K.A

Published in IEEE Transactions on information technology in biomedicine

Article

Rapid automated three-dimensional tracing of neurons from confocal image stacks.

385

An efficient distributed deadlock avoidance algorithm for the AND model. by Hui Wu

Published in IEEE Transactions on software engineering

Article

An efficient distributed deadlock avoidance algorithm for the AND model.

386

Proactive key distribution using neighbor graphs. by Mishra, A.

Published in IEEE Wireless communications

Article

Proactive key distribution using neighbor graphs.

387

BDD decomposition for delay oriented pass transistor logic synthesis. by Shelar, R.S

Published in IEEE Transactions on VLSI systems

Article

BDD decomposition for delay oriented pass transistor logic synthesis.

388

Modular brain networks. [article]. by Sporns, Olaf

Analytics

389

Some Constructions of 3-minimal Graphs with Cycles.

Analytics

390

Groups, g-graphs, and consumer theory by Raymundo, Gregorio Abaya

Thesis

Robust Boolean reasoning for equivalence checking and functional property verification. by Kuehlmann, A.

Graph matching by relaxation of fuzzy assignments. by Medasani, S.

Finding the mitral annular lines from 2-D + 1-D precordial echocardiogram using graph-search technique. by Yu-Tai Ching

Rapid automated three-dimensional tracing of neurons from confocal image stacks. by Al-Kofahi, K.A

An efficient distributed deadlock avoidance algorithm for the AND model. by Hui Wu

Proactive key distribution using neighbor graphs. by Mishra, A.

BDD decomposition for delay oriented pass transistor logic synthesis. by Shelar, R.S

Modular brain networks. [article]. by Sporns, Olaf

Some Constructions of 3-minimal Graphs with Cycles.

Groups, g-graphs, and consumer theory by Raymundo, Gregorio Abaya

Search Tools:

Refine Results

CAMPUS

DATABASE

UNIT LIBRARY

YEAR OF PUBLICATION

CLASSIFICATION

SUBJECT

AUTHOR

RESOURCE TYPE

LANGUAGE