3973 search results - page 345 / 795 » Records for Logic Programming |
135
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
142
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
161
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Wearable physiological sensors can provide a faithful record of a patient’s physiological states without constant attention of caregivers. A computer program that can infer huma...
120
click to vote
APCHI
1998
IEEE
15 years 9 months ago
1998
IEEE
An event-driven demonstration is to show the behavior of an application by re-executing the captured events. It is used to provide help regarding how an application works because ...
135
click to vote
ECIS
2004
15 years 6 months ago
2004
Being part of a larger research program, this paper focuses on the impacts of so-called 'Digital Video Recorders' (DVRs) on the video content services industry. First, i...