4856 search results - page 73 / 972 » Concept formation in design |
WOODPECKER
2001
13 years 10 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
VIROLOGY
2008
13 years 8 months ago
2008
OpenDocument and Open XML are both new open file formats for office documents. OpenDocument is an ISO standard, promoted by OpenOffice.org and Sun StarOffice. Open XML is the new f...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
The goal of this work is the design and construction of adaptive tutorials based on the application of algorithms for the automatic resolution of problems which can be used to aut...
ASAP
2006
IEEE
14 years 15 days ago
2006
IEEE
In this paper, we propose a reconfigurable hardware accelerator for fixed-point-matrix-vector-multiply/add operations, capable to work on dense and sparse matrices formats. The pr...
FORMATS
2006
Springer
14 years 12 days ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...