Sciweavers

2819 search results - page 470 / 564
» Automatic Structures
Sort
View
AIL
2006
130views more  AIL 2006»
13 years 10 months ago
Extractive summarisation of legal texts
We describe research carried out as part of a text summarisation project for the legal domain for which we use a new XML corpus of judgments of the UK House of Lords. These judgmen...
Ben Hachey, Claire Grover
ENGL
2008
100views more  ENGL 2008»
13 years 10 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
FAC
2008
139views more  FAC 2008»
13 years 10 months ago
Network invariants for real-time systems
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
Olga Grinchtein, Martin Leucker
BMCBI
2006
108views more  BMCBI 2006»
13 years 10 months ago
NOXclass: prediction of protein-protein interaction types
Background: Structural models determined by X-ray crystallography play a central role in understanding protein-protein interactions at the molecular level. Interpretation of these...
Hongbo Zhu, Francisco S. Domingues, Ingolf Sommer,...
CAD
2006
Springer
13 years 10 months ago
Meta-ontology for automated information integration of parts libraries
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
Joonmyun Cho, Soonhung Han, Hyun Kim