Sciweavers

1242 search results - page 170 / 249
» Towards Context-Sensitive Intelligence
Sort
View
IWANN
2009
Springer
14 years 4 months 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
14 years 4 months 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
14 years 4 months 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
14 years 4 months 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
14 years 4 months 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