Sciweavers

1412 search results - page 108 / 283
» types 2004
Sort
View
BIRTHDAY
2004
Springer
15 years 9 months ago
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...
DASFAA
2004
IEEE
142views Database» more  DASFAA 2004»
15 years 8 months ago
Ontological and Pragmatic Knowledge Management for Web Service Composition
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
Soon Ae Chun, Yugyung Lee, James Geller
DASFAA
2004
IEEE
92views Database» more  DASFAA 2004»
15 years 8 months ago
Modeling Temporally Variable Transportation Networks
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
Zhiming Ding, Ralf Hartmut Güting
FPGA
2004
ACM
128views FPGA» more  FPGA 2004»
15 years 8 months ago
Incremental physical resynthesis for timing optimization
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...
Peter Suaris, Lung-Tien Liu, Yuzheng Ding, Nan-Chi...
ACL
2004
15 years 6 months ago
Large-Scale Induction and Evaluation of Lexical Resources from the Penn-II Treebank
In this paper we present a methodology for extracting subcategorisation frames based on an automatic LFG f-structure annotation algorithm Penn-II Treebank. We extract abstract syn...
Ruth O'Donovan, Michael Burke, Aoife Cahill, Josef...