Sciweavers

1216 search results - page 63 / 244
» Translation analysis and translation automation
Sort
View
CSL
2003
Springer
14 years 1 months ago
Simple Stochastic Parity Games
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A...
VLDB
2001
ACM
83views Database» more  VLDB 2001»
14 years 21 days ago
Visual Web Information Extraction with Lixto
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
Robert Baumgartner, Sergio Flesca, Georg Gottlob
DBPL
1995
Springer
144views Database» more  DBPL 1995»
13 years 12 months ago
An Algebraic Framework for Physical OODB Design
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
Leonidas Fegaras, David Maier
LREC
2010
207views Education» more  LREC 2010»
13 years 9 months ago
Constructing the CODA Corpus: A Parallel Corpus of Monologues and Expository Dialogues
We describe the construction of the CODA corpus, a parallel corpus of monologues and expository dialogues. The dialogue part of the corpus consists of expository, i.e., informatio...
Svetlana Stoyanchev, Paul Piwek
WSC
1997
13 years 9 months ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi