Sciweavers

640 search results - page 74 / 128
» Improving the Syntax and Semantics of Goal Modelling Languag...
Sort
View
ACL
2010
13 years 7 months ago
Entity-Based Local Coherence Modelling Using Topological Fields
One goal of natural language generation is to produce coherent text that presents information in a logical order. In this paper, we show that topological fields, which model high-...
Jackie Chi Kit Cheung, Gerald Penn
IDT
2008
123views more  IDT 2008»
13 years 9 months ago
A rich semantic model of track as a foundation for sharing beliefs regarding dynamic objects and events
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
Frederick Hayes-Roth, Curtis L. Blais
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
14 years 16 days ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti
WWW
2004
ACM
14 years 9 months ago
A combined approach to checking web ontologies
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-...
ICLP
2007
Springer
14 years 25 days ago
Web Sites Verification: An Abductive Logic Programming Tool
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
Paolo Mancarella, Giacomo Terreni, Francesca Toni