1054 search results - page 79 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
113
click to vote
ENTCS
2007
14 years 9 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
ANLP
2000
14 years 11 months ago
2000
We present a novel sentence reduction system for automatically removing extraneous phrases from sentences that are extracted from a document for summarization purpose. The system ...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
ICAIL
1995
ACM
15 years 1 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
MMMACNS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a method to generate unique and nevertheless highly random pseudonyms in a distributed environment. More precisely, each user can now generate his pse...