Sciweavers

5377 search results - page 195 / 1076
» Programming Languages For Interactive Computing
Sort
View
137
Voted
PPDP
1999
Springer
15 years 5 months ago
A Calculus for Interaction Nets
hemical abstract machine Shinya Sato Himeji Dokkyo University, Faculty of Econoinformatics, 7-2-1 Kamiohno, Himeji-shi, Hyogo 670-8524, Japan Ian Mackie LIX, CNRS UMR 7161, ´Ecole...
Maribel Fernández, Ian Mackie
UM
2010
Springer
15 years 4 months ago
Interaction and Personalization of Criteria in Recommender Systems
A user’s informational need and preferences can be modeled by criteria, which in turn can be used to prioritize candidate results and produce a ranked list. We examine the use of...
Shawn R. Wolfe, Yi Zhang
94
Voted
POPL
1991
ACM
15 years 4 months ago
Coordinating First-Order Multiparty Interactions
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
Yuh-Jzer Joung, Scott A. Smolka
93
Voted
CADE
2008
Springer
16 years 1 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
JMLR
2012
13 years 3 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