Search Sciweavers | Sciweavers

8446 search results - page 183 / 1690

» A Process Compensation Language

149

click to vote

AAAI
1992

95views Intelligent Agents» more AAAI 1992»

A Probabilistic Parser Applied to Software Testing Documents

15 years 7 months ago

Download www.cs.jhu.edu

We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...

Mark A. Jones, Jason Eisner

claim paper

Read More »

178

click to vote

NLDB
2007
Springer

105views Natural Language Processing» more NLDB 2007»

Flexible and Customizable NL Representation of Requirements for ETL processes

16 years 18 days ago

Download www.dbnet.ece.ntua.gr

The design of an Extract – Transform – Load (ETL) workflow for the population of a Data Warehouse is a complex and challenging procedure. In previous work, we have presented an...

Dimitrios Skoutas, Alkis Simitsis

claim paper

Read More »

177

click to vote

TIME
2005
IEEE

140views Automated Reasoning» more TIME 2005»

Analysis of Timed Processes with Data Using Algebraic Transformations

16 years 2 days ago

Download alexandria.tue.nl

The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...

Michel A. Reniers, Yaroslav S. Usenko

claim paper

Read More »

117

click to vote

ICALP
2005
Springer

95views Programming Languages» more ICALP 2005»

Optimal Cover Time for a Graph-Based Coupon Collector Process

16 years 7 hour ago

Download www.cs.utexas.edu

Nedialko B. Dimitrov, C. Greg Plaxton

claim paper