1435 search results - page 175 / 287 » E-connections of Description Logics |
HCI
2009
14 years 11 months ago
2009
In 3D virtual environments (3DVE), we need to know what an object looks like (i.e. geometric information) and what the object is, what are its properties and characteristics and ho...
114
click to vote
IUI
2012
ACM
13 years 9 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
305
click to vote
DAC
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
103
click to vote
VLSID
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
124
click to vote
RSP
1998
IEEE
15 years 5 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...