Sciweavers

2944 search results - page 36 / 589
» On Well Quasi-orders on Languages
Sort
View
SAC
2006
ACM
14 years 2 months ago
An evaluation of conceptual business process modelling languages
Conceptual Business Process Modelling Languages (BPMLs) express certain aspects of processes (e.g. activities, roles, interactions, data, etc.) and address different application a...
Beate List, Birgit Korherr
CODES
2002
IEEE
14 years 1 months ago
A language for multiple models of computation
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
Dag Björklund, Johan Lilius
VL
2000
IEEE
14 years 1 months ago
Language-Agnostic Program Rendering for Presentation, Debugging and Visualization
We describe a language-independent and speciļ¬cationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
Christian S. Collberg, Sean Davey, Todd A. Proebst...
CAV
2006
Springer
129views Hardware» more  CAV 2006»
14 years 12 days ago
Languages of Nested Trees
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
EMNLP
2007
13 years 10 months ago
Unsupervised Part-of-Speech Acquisition for Resource-Scarce Languages
This paper proposes a new bootstrapping approach to unsupervised part-of-speech induction. In comparison to previous bootstrapping algorithms developed for this problem, our appro...
Sajib Dasgupta, Vincent Ng