Sciweavers

39 search results - page 4 / 8
» Automatic translation of support verb constructions
Sort
View
COSIT
1999
Springer
132views GIS» more  COSIT 1999»
14 years 2 months ago
Pictorial and Verbal Tools for Conveying Routes
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
Barbara Tversky, Paul U. Lee
EUROPAR
2008
Springer
13 years 11 months ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
Manuel Arenaz, Pedro Amoedo, Juan Touriño
TSD
1999
Springer
14 years 2 months ago
Prague Dependency Treebank: Restoration of Deletions
The use of the treebank as a resource for linguistic research has led us to look for an annotation scheme representing not only surface syntactic information (in ‘analytic treesâ...
Eva Hajicová, Ivana Kruijff-Korbayová...
SIGSOFT
2001
ACM
14 years 10 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
14 years 3 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai