Sciweavers

2178 search results - page 189 / 436
» Inferring complex plans
Sort
View
209
Voted
ENTCS
2006
189views more  ENTCS 2006»
15 years 7 months ago
Variables as Resource for Shared-Memory Programs: Semantics and Soundness
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
Stephen D. Brookes
ENGL
2007
109views more  ENGL 2007»
15 years 7 months ago
Using Neural Network for DJIA Stock Selection
—This paper presents methodologies to select equities based on soft-computing models which focus on applying fundamental analysis for equities screening. This paper compares the ...
Tong-Seng Quah
COLING
2002
15 years 6 months ago
Semantics-based Representation for Multimodal Interpretation in Conversational Systems
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
Joyce Y. Chai
IJPRAI
2000
83views more  IJPRAI 2000»
15 years 6 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...
227
Voted
RR
2010
Springer
15 years 4 months ago
Analyzing the AIR Language: A Semantic Web (Production) Rule Language
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jaco...