Sciweavers

1469 search results - page 245 / 294
» Structural aspects of tilings
Sort
View
JCS
2002
118views more  JCS 2002»
14 years 10 months ago
Verified Formal Security Models for Multiapplicative Smart Cards
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
PR
2007
118views more  PR 2007»
14 years 10 months ago
A cooperative constructive method for neural networks for pattern recognition
In this paper, we propose a new constructive method, based on cooperative coevolution, for designing automatically the structure of a neural network for classification. Our appro...
Nicolás García-Pedrajas, Domingo Ort...
ECIR
2010
Springer
14 years 9 months ago
Improving Medical Information Retrieval with PICO Element Detection
Without a well formulated and structured question, it can be very difficult and time consuming for physicians to identify appropriate resources and search for the best available ev...
Florian Boudin, Lixin Shi, Jian-Yun Nie
IAJIT
2010
166views more  IAJIT 2010»
14 years 9 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
JAIHC
2010
134views more  JAIHC 2010»
14 years 9 months ago
Persuasion in ambient intelligence
Although the field of persuasive technologies has lately attracted a lot of attention, only recently the notion of ambient persuasive technologies was introduced. Ambient persuasi...
Maurits Clemens Kaptein, Panos Markopoulos, Boris ...