2414 search results - page 347 / 483 » Reasoning Support for OWL-E |
202
click to vote
DASFAA
2004
IEEE
15 years 11 months ago
2004
IEEE
For event filtering of publish/subscribe system, significant research efforts have been dedicated to techniques based on multiple one-dimensional indexes built on attributes of sub...
190
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
A correctly working Domain Name System (DNS) is essential for the Internet. Due to its significance and because of deficiencies in its current design, the DNS is vulnerable to a w...
204
click to vote
DIS
2006
Springer
15 years 11 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
201
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
233
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...