4418 search results - page 877 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
112
Voted
JAIR
2012
12 years 12 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
116
click to vote
ICDCS
2012
IEEE
12 years 12 months ago
2012
IEEE
Operational network data, management data such as customer care call logs and equipment system logs, is a very important source of information for network operators to detect prob...
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
The increasing centralization of networked services places user data at considerable risk. For example, many users store email on remote servers rather than on their local disk. D...
85
Voted
LOPSTR
2005
Springer
15 years 3 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
COLING
2002
14 years 9 months ago
2002
Syllable-to-word (STW) conversion is important in Chinese phonetic input methods and speech recognition. There are two major problems in the STW conversion: (1) resolving the ambi...