Sciweavers

2602 search results - page 244 / 521
» Automatic Image Structure Analysis
Sort
View
ADMA
2008
Springer
89views Data Mining» more  ADMA 2008»
15 years 8 months ago
Timeline Analysis of Web News Events
With a large number of news available on the internet everyday, it is an interesting work to automatically organize news events by time order and dependencies between events. The w...
Jiangtao Qiu, Chuan Li, Shaojie Qiao, Taiyong Li, ...
ISSRE
2000
IEEE
15 years 11 months ago
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
Sam K. S. Sze, Michael R. Lyu
IJCNLP
2005
Springer
16 years 2 days ago
Corpus-Based Analysis of Japanese Relative Clause Constructions
Japanese relative clause constructions (RCC’s) are defined as being the NP’s of structure ‘S NP’, noting the lack of a relative pronoun or any other explicit form of noun-...
Takeshi Abekawa, Manabu Okumura
FASE
2008
Springer
15 years 8 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
CAV
2006
Springer
146views Hardware» more  CAV 2006»
15 years 10 months ago
Termination Analysis with Calling Context Graphs
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
Panagiotis Manolios, Daron Vroon