245 search results - page 25 / 49 » diagrams 2010 |
JUCS
2010
13 years 2 months ago
2010
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
IAJIT
2010
13 years 6 months ago
2010
: In this paper, we intend to study the synthesis of the multibeam arrays. The synthesis implementation’s method for this type of arrays permits to approach the appropriated radi...
AVI
2010
13 years 9 months ago
2010
We present TimeNets, a new visualization technique for genealogical data. Most genealogical diagrams prioritize the display of generational relations. To enable analysis of famili...
ENTCS
2006
13 years 7 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...