Sciweavers

1242 search results - page 170 / 249
» Towards Context-Sensitive Intelligence
Sort
View
IWANN
2009
Springer
16 years 17 days ago
Development of Neural Network Structure with Biological Mechanisms
We present an evolving neural network model in which synapses appear and disappear stochastically according to bio-inspired probabilities. These are in general nonlinear functions ...
Samuel Johnson, Joaquín Marro, Jorge F. Mej...
COLCOM
2007
IEEE
16 years 10 days ago
Secure peer-to-peer networks for trusted collaboration
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
Kevin W. Hamlen, Bhavani M. Thuraisingham
GLOBECOM
2007
IEEE
16 years 10 days ago
Joint Computation and Communication Scheduling to Enable Rich Mobile Applications
Abstract—Increasing interest in sensor networking and ubiquitous computing has created a trend towards embedding more and more intelligence into our surroundings. This enables th...
Shoubhik Mukhopadhyay, Curt Schurgers, Sujit Dey
TPHOL
2007
IEEE
16 years 8 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
CP
2007
Springer
16 years 5 days ago
Solution Counting Algorithms for Constraint-Centered Search Heuristics
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
Alessandro Zanarini, Gilles Pesant