Sciweavers

1040 search results - page 91 / 208
» A Syntactical Approach to Revision
Sort
View
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 10 months ago
The craft of model making: PSPACE bounds for non-iterative modal logics
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
Lutz Schröder, Dirk Pattinson
CORR
2000
Springer
84views Education» more  CORR 2000»
13 years 10 months ago
Using a Diathesis Model for Semantic Parsing
This paper presents a semantic parsing approach for non domain-specific texts. Semantic parsing is one of the major bottlenecks of Natural Language Understanding (NLU) systems and...
Jordi Atserias, Irene Castellón, Montse Civ...
ISTA
2004
13 years 11 months ago
Combining the Best of Global-as-View and Local-as-View for Data Integration
Currently, there are two main basic approaches to data integration: Global-as-View (GaV) and Local-as-View (LaV). However, both GaV and LaV have their limitations. In a GaV approa...
Li Xu, David W. Embley
ICWS
2009
IEEE
14 years 7 months ago
Selective Querying for Adapting Hierarchical Web Service Compositions Using Aggregate Volatility
Environments in which Web service compositions (WSC) operate are often dynamic. We address the problem of which service to query for up-to-date information in order to adapt a hie...
John Harney, Prashant Doshi
CHI
2010
ACM
14 years 5 months ago
Examining multiple potential models in end-user interactive concept learning
End-user interactive concept learning is a technique for interacting with large unstructured datasets, requiring insights from both human-computer interaction and machine learning...
Saleema Amershi, James Fogarty, Ashish Kapoor, Des...