4355 search results - page 642 / 871 » From Interpretation to Compilation |
170
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
172
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
134
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
146
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
The human brain and body are prolific signal generators. Recent technologies and computing techniques allow us to measure, process and interpret these signals. We can now infer su...
155
click to vote
CW
2003
IEEE
15 years 11 months ago
2003
IEEE
Current BtoC recommendation services utilize consumers’ purchased log as criteria for selecting information, yet it includes little information of the reason why he bought the i...