3233 search results - page 385 / 647 » Rule Modeling and Markup |
190
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
123
click to vote
IJLT
2007
15 years 6 months ago
2007
: This paper proposes QoE-LAOS, a Quality of Experience-oriented adaptive authoring model that enables performance-aware adaptation. It extends the existing LAOS authoring model in...
173
click to vote
JBI
2007
15 years 6 months ago
2007
Producing reliable information is the ultimate goal of data processing. The ocean of data created with the advances of science and technologies calls for integration of data comin...
160
click to vote
BC
2002
15 years 6 months ago
2002
Hebb's original postulate left two important issues unaddressed: (i) what is the effective time window between pre- and postsynaptic activity that will result in potentiation?...
165
click to vote
CGF
2002
15 years 6 months ago
2002
This paper describes how technical illustrations containing opaque and non-opaque objects can be automatically generated. Traditional methods to show transparency in manual drawin...