1746 search results - page 131 / 350 » A Constructive Semantics for ALC |
137
click to vote
CIVR
2009
Springer
15 years 11 months ago
2009
Springer
Semantic concept detectors are often individually and independently developed. Using peripherally related concepts for leveraging the power of joint detection, which is referred t...
156
click to vote
SAINT
2008
IEEE
15 years 11 months ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...
139
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
122
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
156
Voted
IWRIDL
2006
ACM
15 years 10 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...