10406 search results - page 1855 / 2082 » Using RDF to Model the Structure and Process of Systems |
159
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
139
Voted
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
149
Voted
AUSDM
2007
Springer
15 years 10 months ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...
128
click to vote
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
144
click to vote
DOLAP
2004
ACM
15 years 10 months ago
2004
ACM
Parallelism can be used for major performance improvement in large Data warehouses (DW) with performance and scalability challenges. A simple low-cost shared-nothing architecture ...