Sciweavers

297 search results - page 6 / 60
» Emergent properties of referral systems
Sort
View
CAV
2005
Springer
129views Hardware» more  CAV 2005»
15 years 5 months ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
QSHINE
2005
IEEE
15 years 5 months ago
On the Variable Capacity Property of CC/DS-CDMA Systems
—A complete complementary code based direct sequence code division multiple access (CC/DS-CDMA) system has been proposed recently as a potential candidate for beyond third genera...
Li-Peng Wang, Yang Yang, Hsiao-Hwa Chen, Yonghua S...
ESSOS
2009
Springer
15 years 6 months ago
Idea: Trusted Emergency Management
Through first-responder access to sensitive information for which they have not been pre-vetted, lives and property can be saved. We describe enhancements to a trusted emergency i...
Timothy E. Levin, Cynthia E. Irvine, Terry Benzel,...
WIAS
2010
98views more  WIAS 2010»
14 years 10 months ago
Spatial pattern growth and emergent animat segregation
Spatial agent models can be used to explore self-organising effects such as pattern growth and segregation. We employ our predator-prey model to study these emergent behaviours in...
Kenneth A. Hawick, C. J. Scogings
AIIA
2007
Springer
15 years 5 months ago
Discovering Relational Emerging Patterns
The discovery of emerging patterns (EPs) is a descriptive data mining task defined for pre-classified data. It aims at detecting patterns which contrast two classes and has been ...
Annalisa Appice, Michelangelo Ceci, Carlo Malgieri...