Sciweavers

8008 search results - page 577 / 1602
» Computer-Aided Language Processing
Sort
View
177
Voted
EGOV
2010
Springer
15 years 7 months ago
From Policy-Making Statements to First-Order Logic
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
Adam Wyner, Tom M. van Engers, Kiavash Bahreini
CN
2007
148views more  CN 2007»
15 years 6 months ago
A rigorous approach to orchestrating grid services
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
Kenneth J. Turner, Koon Leai Larry Tan
ENC
2008
IEEE
16 years 1 months ago
Possibilistic-Based Argumentation: An Answer Set Programming Approach
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
Juan Carlos Nieves, Ulises Cortés, Mauricio...
146
Voted
KBSE
2008
IEEE
16 years 1 months ago
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Diego Ordóñez Camacho, Kim Mens
FDL
2005
IEEE
16 years 11 days ago
An HW/SW Co-design Environment based on UML and SystemC
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
Elvinia Riccobene, Patrizia Scandurra, Alberto Ros...