Sciweavers

305 search results - page 43 / 61
» Language Independent Morphological Analysis
Sort
View
ICFEM
2003
Springer
15 years 5 months ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink
COLING
1996
15 years 1 months ago
Syntactic Analyses for Parallel Grammars: Auxiliaries and Genitive NPs
This paper tbeuses on two disparate asI)e(:ts of German syntax from the perspeetive of paral]eJ grammar developmenl;. As part of a eOOl)erative project, we present an innovative a...
Miriam Butt, Christian Fortmann, Christian Rohrer
POPL
2012
ACM
13 years 7 months ago
Resource-sensitive synchronization inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
Matko Botincan, Mike Dodds, Suresh Jagannathan
CIKM
2011
Springer
13 years 11 months ago
Joint inference for cross-document information extraction
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...
Qi Li, Sam Anzaroot, Wen-Pin Lin, Xiang Li, Heng J...
102
Voted
LCTRTS
2010
Springer
15 years 6 months ago
Versatile system-level memory-aware platform description approach for embedded MPSoCs
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
Robert Pyka, Felipe Klein, Peter Marwedel, Stylian...