Sciweavers

1929 search results - page 9 / 386
» Change Propagation Analysis Using Domain Information
Sort
View
ATAL
2010
Springer
15 years 24 days ago
Exploiting scale invariant dynamics for efficient information propagation in large teams
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...
Robin Glinton, Paul Scerri, Katia P. Sycara
ESANN
2004
15 years 1 months ago
Learning by geometrical shape changes of dendritic spines
The role of dendritic spines in neuronal information processing is still not completely clear. However, it is known that spines can change shape rapidly during development and duri...
Andreas Herzog, Vadym Spravedlyvyy, Karsten Kube, ...
WWW
2004
ACM
16 years 11 days ago
BizCQ: using continual queries to cope with changes in business information exchange
In this poster, we propose the framework of BizCQ, a system to apply Continual Queries [7][8] on Web-based content to manage information exchanges between two business partners. I...
Wei Tang, R. Kipp Jones, Ling Liu, Calton Pu
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
15 years 3 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
SCAM
2003
IEEE
15 years 5 months ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin