Sciweavers

3729 search results - page 469 / 746
» On Formal Modeling of Agent Computations
Sort
View
EOR
2006
76views more  EOR 2006»
15 years 6 months ago
Regional development assessment: A structural equation approach
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
Dario Cziráky, Joze Sambt, Joze Rovan, Jaks...
161
Voted
DEXA
2009
Springer
70views Database» more  DEXA 2009»
16 years 1 months ago
On the Termination Problem for Declarative XML Message Processing
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
Tadeusz Litak, Sven Helmer
ICALP
2007
Springer
16 years 25 days ago
Bounded Depth Data Trees
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
Henrik Björklund, Mikolaj Bojanczyk
183
Voted
ICSOC
2007
Springer
16 years 25 days ago
Stochastic COWS
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Davide Prandi, Paola Quaglia
ICPR
2000
IEEE
15 years 11 months ago
Is Pattern Recognition a Physical Science?
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
Jean Serra