1529 search results - page 293 / 306 » On the Construction of Ontologies based on Natural Language ... |
73
Voted
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
CAV
2001
Springer
15 years 1 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
We present a framework for publishing relational data in XML with respect to a fixed DTD. In data exchange on the Web, XML views of relational data are typically required to confo...
157
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a declarative framework for collective deduplication of entity references in the presence of constraints. Constraints occur naturally in many data cleaning domains and c...
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...