Sciweavers

2944 search results - page 256 / 589
» Robust Semantic Construction
Sort
View
APLAS
2001
ACM
15 years 10 months ago
Estimating Exception-Induced Control Flow for Java
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
Byeong-Mo Chang, Jang-Wu Jo
208
Voted
AISC
2010
Springer
15 years 10 months ago
A Formal Quantifier Elimination for Algebraically Closed Fields
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
Cyril Cohen, Assia Mahboubi
AAAI
2007
15 years 9 months ago
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
Fatiha Saïs, Nathalie Pernelle, Marie-Christi...
GPC
2010
Springer
15 years 8 months ago
A Focused Crawler with Ontology-Supported Website Models for Information Agents
This paper advocated the use of ontology-supported website models to provide a semantic level solution for an information agent so that it can provide fast, precise, and stable que...
Sheng-Yuan Yang
190
Voted
ICMLA
2008
15 years 8 months ago
Text Classification Using Tree Kernels and Linguistic Information
Standard Machine Learning approaches to text classification use the bag-of-words representation of documents to deceive the classification target function. Typical linguistic stru...
Teresa Gonçalves, Paulo Quaresma