Sciweavers

PAMI
2007
148views more  PAMI 2007»
13 years 11 months ago
Infinitely Divisible Cascades to Model the Statistics of Natural Images
—We propose to model the statistics of natural images, thanks to the large class of stochastic processes called Infinitely Divisible Cascades (IDCs). IDCs were first introduced i...
Pierre Chainais
ISI
2008
Springer
13 years 11 months ago
A locality model of the evolution of blog networks
We present a model of evolution of large social networks. Our model is based on the local nature of communication: a node's communication energy is spend mostly within it'...
Mark K. Goldberg, Malik Magdon-Ismail, Stephen Kel...
ENTCS
2008
90views more  ENTCS 2008»
13 years 11 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
ENTCS
2007
150views more  ENTCS 2007»
13 years 11 months ago
On the Expressiveness of Mobile Synchronizing Petri Nets
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
Fernando Rosa Velardo, David de Frutos-Escrig, Olg...
CORR
2010
Springer
91views Education» more  CORR 2010»
13 years 11 months ago
Shadowing Effects on Routing Protocol of Multihop Ad Hoc Networks
Two-ray ground reflection model has been widely used as the propagation model to investigate the performance of an ad hoc network. But two-ray model is too simple to represent a r...
Anwar Hossain, Mohammed Tarique, Rumana Islam
COGSCI
2008
90views more  COGSCI 2008»
13 years 11 months ago
Using fMRI to Test Models of Complex Cognition
This article investigates the potential of fMRI to test assumptions about different components in models of complex cognitive tasks. If the components of a model can be associated...
John R. Anderson, Cameron S. Carter, Jon M. Fincha...
TSMC
2002
112views more  TSMC 2002»
13 years 11 months ago
A method for evaluating elicitation schemes for probabilistic models
We present an objective approach for evaluating probability and structure elicitation methods in probabilistic models. The main idea is to use the model derived from the experts�...
Haiqin Wang, Denver Dash, Marek J. Druzdzel
TSE
2002
87views more  TSE 2002»
13 years 11 months ago
A Formal Model of the Software Test Process
João W. Cangussu, Raymond A. DeCarlo, Adity...
TSE
2002
157views more  TSE 2002»
13 years 11 months ago
Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects
A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
Lionel C. Briand, Walcélio L. Melo, Jü...