950 search results - page 62 / 190 » Pin-pointing concept descriptions |
120
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
141
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we propose a foundational ontology of the social concepts of organization and role which structure institutions. We identify which axioms model social conce...
170
click to vote
CVPR
2011
IEEE
15 years 19 days ago
2011
IEEE
In this paper we explore the idea of using high-level semantic concepts, also called attributes, to represent human actions from videos and argue that attributes enable the constr...
348
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...
159
click to vote
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...