Search Sciweavers | Sciweavers

8446 search results - page 183 / 1690

» A Process Compensation Language

161

click to vote

AAAI
1992

95views Intelligent Agents» more AAAI 1992»

A Probabilistic Parser Applied to Software Testing Documents

15 years 8 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 »

193

Voted

NLDB
2007
Springer

105views Natural Language Processing» more NLDB 2007»

Flexible and Customizable NL Representation of Requirements for ETL processes

16 years 1 months 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 »

197

Voted

TIME
2005
IEEE

140views Automated Reasoning» more TIME 2005»

Analysis of Timed Processes with Data Using Algebraic Transformations

16 years 16 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 »

122

click to vote

ICALP
2005
Springer

95views Programming Languages» more ICALP 2005»

Optimal Cover Time for a Graph-Based Coupon Collector Process

16 years 15 days ago

Download www.cs.utexas.edu

Nedialko B. Dimitrov, C. Greg Plaxton

claim paper