Sciweavers

1284 search results - page 121 / 257
» Connectivity in Bag Generation
Sort
View
FOSAD
2005
Springer
15 years 12 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
GFKL
2005
Springer
95views Data Mining» more  GFKL 2005»
15 years 12 months ago
An Indicator for the Number of Clusters: Using a Linear Map to Simplex Structure
Abstract. The problem of clustering data can be formulated as a graph partitioning problem. In this setting, spectral methods for obtaining optimal solutions have received a lot of...
Marcus Weber, Wasinee Rungsarityotin, Alexander Sc...
ICANN
2005
Springer
15 years 12 months ago
Associative Learning in Hierarchical Self Organizing Learning Arrays
In this paper we introduce feedback based associative learning in self-organized learning arrays (SOLAR). SOLAR structures are hierarchically organized and have the ability to clas...
Janusz A. Starzyk, Zhen Zhu, Yue Li
ISCIS
2005
Springer
15 years 12 months ago
Generalizing Redundancy Elimination in Checking Sequences
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, H&uu...
WAC
2005
Springer
118views Communications» more  WAC 2005»
15 years 12 months ago
Towards a Reliable, Wide-Area Infrastructure for Context-Based Self-management of Communications
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
Graeme Stevenson, Paddy Nixon, Simon A. Dobson