Sciweavers

147 search results - page 4 / 30
» Semantic Analysis of Time and Tense in Natural Language: An ...
Sort
View
NLE
2008
109views more  NLE 2008»
13 years 7 months ago
Natural language processing in CLIME, a multilingual legal advisory system
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
Roger Evans, Paul Piwek, Lynne J. Cahill, Neil Tip...
IJCAI
2003
13 years 9 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...
ENTCS
2008
106views more  ENTCS 2008»
13 years 7 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
TOOLS
2008
IEEE
14 years 1 months ago
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
Stefan Leue, Alin Stefanescu, Wei Wei
UML
2005
Springer
14 years 1 months ago
From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
Neil Loughran, Américo Sampaio, Awais Rashi...