537 search results - page 72 / 108 » Extended directed triple systems |
117
Voted
ICCAD
2004
IEEE
16 years 13 days ago
2004
IEEE
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...
141
Voted
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
114
Voted
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
Visualisation and structuring of tasks in a schedule, from relatively simple activities such as meeting scheduling to more complex ones such as project planning, has been traditio...
127
Voted
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
Pointing combined with verbal referring is one of the most paradigmatic human multimodal behaviours. The aim of this paper is foundational: to uncover the central notions that are...
123
Voted
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...