2302 search results - page 307 / 461 » Basic Description Logics |
134
click to vote
HCI
2009
15 years 2 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...
251
click to vote
IUI
2012
ACM
14 years 21 days 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...
365
click to vote
DAC
2012
ACM
13 years 7 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...
129
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
151
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...