Sciweavers

3381 search results - page 224 / 677
» Extending Dependencies with Conditions
Sort
View
LREC
2010
149views Education» more  LREC 2010»
15 years 8 months ago
Annotation of Morphological Meanings of Verbs Revisited
Meanings of morphological categories are an indispensable component of representation of sentence semantics. In the Prague Dependency Treebank 2.0, sentence semantics is represent...
Jarmila Panevová, Magda Sevcíkov&aac...
WCET
2007
15 years 7 months ago
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
Daniel Sundmark, Anders Pettersson, Christer Sandb...
ENTCS
2008
92views more  ENTCS 2008»
15 years 6 months ago
Redundancy Elimination for LF
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
Jason Reed
TSE
2008
92views more  TSE 2008»
15 years 6 months ago
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
Santonu Sarkar, Avinash C. Kak, Girish Maskeri Ram...
JDCTA
2010
150views more  JDCTA 2010»
15 years 1 months ago
Proof as Composition: An approach for the Large-granularity Web Services Composition
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
Yuyu Yin, Ying Li, Jianwei Yin, ShuiGuang Deng