Sciweavers

1722 search results - page 140 / 345
» Variables in Concept Graphs
Sort
View
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
15 years 2 months ago
On modeling top-down VLSI design
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...
DLOG
2008
15 years 9 days ago
Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
Adrien Coulet, Malika Smaïl-Tabbone, Amedeo N...
ICCV
2007
IEEE
15 years 12 months ago
Untangling Cycles for Contour Grouping
We introduce a novel topological formulation for contour grouping. Our grouping criterion, called untangling cycles, exploits the inherent topological 1D structure of salient cont...
Qihui Zhu, Gang Song, Jianbo Shi
ICCSA
2009
Springer
15 years 4 months ago
YAO: A Software for Variational Data Assimilation Using Numerical Models
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...
Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie ...
ICALP
2005
Springer
15 years 3 months ago
Spatial Logics for Bigraphs
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...