Sciweavers

6343 search results - page 494 / 1269
» Development of a Cartographic Language
Sort
View
COLING
1994
15 years 8 months ago
XTAG System - A Wide Coverage Grammar for English
This paper presents the XTAG system, a grammar development tool based on the Tree Adjoining Grammar (TAG) formalism that includes a wide-coverage syntactic grammar for English. Th...
Christine Doran, Dania Egedi, Beth Ann Hockey, Ban...
MSCS
2006
89views more  MSCS 2006»
15 years 6 months ago
Quantum weakest preconditions
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
Ellie D'Hondt, Prakash Panangaden
181
Voted
CORR
2002
Springer
175views Education» more  CORR 2002»
15 years 6 months ago
Creating Annotation Tools with the Annotation Graph Toolkit
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
Kazuaki Maeda, Steven Bird, Xiaoyi Ma, Haejoong Le...
169
Voted
SIGSOFT
2008
ACM
16 years 7 months ago
Improving robustness of evolving exceptional behaviour in executable models
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
Alessandro Garcia, Nélio Cacho, Thomas Cott...
206
Voted
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
16 years 13 days ago
Establishing and maintaining compatibility in service oriented business collaboration
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
Bart Orriëns, Jian Yang