2853 search results - page 347 / 571 » A Design System based on Architectural Representations |
176
click to vote
CIMCA
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
190
click to vote
GD
2003
Springer
15 years 12 months ago
2003
Springer
Given two different drawings of a planar graph we consider the problem of morphing one drawing into the other. We designed and implemented an algorithm for intersection-free morph...
167
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
199
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
155
click to vote
PRL
2006
15 years 6 months ago
2006
Karyotyping, a standard method for presenting pictures of the human chromosomes for diagnostic purposes, is a long standing, yet common technique in cytogenetics. Automating the c...