Sciweavers

1496 search results - page 181 / 300
» Introducing Speech and Language Processing
Sort
View
ESOP
2008
Springer
15 years 5 months ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
JMLR
2012
13 years 6 months ago
Bayesian regularization of non-homogeneous dynamic Bayesian networks by globally coupling interaction parameters
To relax the homogeneity assumption of classical dynamic Bayesian networks (DBNs), various recent studies have combined DBNs with multiple changepoint processes. The underlying as...
Marco Grzegorczyk, Dirk Husmeier
185
Voted
SIGMOD
2007
ACM
156views Database» more  SIGMOD 2007»
16 years 4 months ago
Mashup Feeds: : continuous queries over web services
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
Arsany Sawires, Divyakant Agrawal, Jun'ichi Tatemu...
135
Voted
FCCM
2008
IEEE
177views VLSI» more  FCCM 2008»
15 years 10 months ago
Hardware Scripting in Gel
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
Jonathan Bachrach, Dany Qumsiyeh, Mark Tobenkin
MODELS
2007
Springer
15 years 10 months ago
Matching Model-Snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
Rodrigo Ramos, Olivier Barais, Jean-Marc Jé...