Sciweavers

4690 search results - page 234 / 938
» An operational semantics for Scheme
Sort
View
APIN
2000
75views more  APIN 2000»
15 years 6 months ago
Context Knowledge Representation and Reasoning in the Context Interchange System
The Context Interchange Project presents a unique approach to the problem of semantic conflict resolution among multiple heterogeneous data sources. The system presents a semantic...
Stéphane Bressan, Cheng Hian Goh, Natalia L...
TEC
2002
94views more  TEC 2002»
15 years 6 months ago
Knowledge-intensive genetic discovery in foreign exchange markets
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
Siddhartha Bhattacharyya, Olivier V. Pictet, Gille...
FMICS
2007
Springer
16 years 24 days ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
JAIR
2006
117views more  JAIR 2006»
15 years 6 months ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer
KDD
2009
ACM
200views Data Mining» more  KDD 2009»
16 years 1 months ago
Visual analysis of documents with semantic graphs
In this paper, we present a technique for visual analysis of documents based on the semantic representation of text in the form of a directed graph, referred to as semantic graph....
Delia Rusu, Blaz Fortuna, Dunja Mladenic, Marko Gr...