Sciweavers

2539 search results - page 326 / 508
» Semantic frameworks for e-government
Sort
View
DEXA
2000
Springer
104views Database» more  DEXA 2000»
15 years 10 months ago
Extending RDBMS for Allowing Fuzzy Quantified Queries
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
Leonid José Tineo Rodríguez
ICALP
1997
Springer
15 years 10 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen
PEPM
1995
ACM
15 years 10 months ago
Abstract Interpretation and Low-Level Code Optimization
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
Saumya K. Debray
ER
2008
Springer
110views Database» more  ER 2008»
15 years 8 months ago
What's in a Relationship: An Ontological Analysis
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
Giancarlo Guizzardi, Gerd Wagner
ACL
2007
15 years 8 months ago
Guiding Statistical Word Alignment Models With Prior Knowledge
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
Yonggang Deng, Yuqing Gao