2414 search results - page 106 / 483 » Reasoning Support for OWL-E |
CL
1999
Springer
13 years 9 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
UAIS
2002
13 years 9 months ago
2002
Most applications accessible through the Web suffer from a noticeable lack of support for adapting to the different information needs that different users may have regarding a cert...
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
JNCA
2011
13 years 5 months ago
2011
Voice over IP (VoIP) is an important service on the Internet, and privacy for VoIP calls will be increasingly important for many people. Providing this privacy, however, is challen...
VL
2002
IEEE
14 years 3 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...