Sciweavers

4418 search results - page 91 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
NDQA
2003
123views Education» more  NDQA 2003»
15 years 5 months ago
HITIQA: A Data Driven Approach to Interactive Question Answering: A Preliminary Report
HITIQA is an interactive question answering technology designed to allow intelligence analysts and other users of information systems to pose questions in natural language and obt...
Sharon Small, Nobuyuki Shimizu, Tomek Strzalkowski...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 2 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ACL
2000
15 years 5 months ago
Query-Relevant Summarization using FAQs
This paper introduces a statistical model for query-relevant summarization: succinctly characterizing the relevance of a document to a query. Learning parameter values for the pro...
Adam L. Berger, Vibhu O. Mittal
REST
2010
ACM
15 years 5 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
EKAW
2004
Springer
15 years 9 months ago
KATS: A Knowledge Acquisition Tool Based on Electronic Document Processing
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
Martín Molina, Gemma Blasco