Sciweavers

647 search results - page 109 / 130
» An Approach to Relate Viewpoints and Modeling Languages
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 5 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
ASWEC
2004
IEEE
15 years 3 months ago
UML Documentation Support for XML Schema
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
Flora Dilys Salim, Rosanne Price, Shonali Krishnas...
LICS
2003
IEEE
15 years 5 months ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
106
Voted
LREC
2010
155views Education» more  LREC 2010»
15 years 1 months ago
A Named Entity Labeler for German: Exploiting Wikipedia and Distributional Clusters
Named Entity Recognition is a relatively well-understood NLP task, with many publicly available training resources and software for English. Other languages tend to be underserved...
Grzegorz Chrupala, Dietrich Klakow
CORR
2008
Springer
113views Education» more  CORR 2008»
14 years 11 months ago
Expressing OLAP operators with the TAX XML algebra
With the rise of XML as a standard for representing business data, XML data warehouses appear as suitable solutions for Web-based decision-support applications. In this context, i...
Marouane Hachicha, Hadj Mahboubi, Jérô...