2414 search results - page 172 / 483 » Reasoning Support for OWL-E |
132
click to vote
SEMWEB
2007
Springer
16 years 7 days ago
2007
Springer
The reasons for the lack of uptake of the semantic web amongst ordinary users can be attributed to technology perception, comprehensibility and ease of use. To address these three ...
162
click to vote
COMPGEOM
2006
ACM
16 years 3 days ago
2006
ACM
It is a widely observed phenomenon in computer graphics that the size of the silhouette of a polyhedron is much smaller than the size of the whole polyhedron. This paper provides,...
127
click to vote
CLUSTER
2005
IEEE
15 years 11 months ago
2005
IEEE
Increasingly messaging infrastructures are being used to support the communication requirements of a wide variety of clients, services, and proxies thereto. Typically, for various...
138
Voted
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
With the constant progress of multimedia technology and network bandwidth, the traditional teaching environment that based on text and pictures, will be integrated with media stre...
175
Voted
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...