Sciweavers

647 search results - page 5 / 130
» Supporting Changes in Structure in Causal Model Construction
Sort
View
AOSE
2004
Springer
14 years 1 months ago
An Agent Construction Model for Ubiquitous Computing Devices
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
Ronald Ashri, Michael Luck
VLDB
1998
ACM
147views Database» more  VLDB 1998»
13 years 12 months ago
Scalable Techniques for Mining Causal Structures
Mining for association rules in market basket data has proved a fruitful areaof research. Measures such as conditional probability (confidence) and correlation have been used to i...
Craig Silverstein, Sergey Brin, Rajeev Motwani, Je...
SEMCO
2009
IEEE
14 years 2 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
LICS
2000
IEEE
14 years 1 days ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
MEMOCODE
2003
IEEE
14 years 28 days ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone