Sciweavers

3731 search results - page 551 / 747
» Reduct Generation in Information Systems
Sort
View
IJCINI
2007
113views more  IJCINI 2007»
15 years 7 months ago
Toward Theoretical Foundations of Autonomic Computing
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms. Th...
Yingxu Wang
IJON
2007
84views more  IJON 2007»
15 years 7 months ago
Modeling self-developing biological neural networks
Recent progress in chips–neuron interface suggests real biological neurons as long-term alternatives to silicon transistors. The first step ning such computing systems is to bu...
Hugues Berry, Olivier Temam
BC
2002
87views more  BC 2002»
15 years 7 months ago
Perception-action coupling model for human locomotor pointing
Abstract. How do humans achieve the precise positioning of the feet during walking, for example, to reach the first step of a stairway? We addressed this question at the visuomotor...
A. de Rugy, G. Taga, G. Montagne, M. J. Buekers, M...
COLING
2002
15 years 7 months ago
A Linguistic Discovery Program that Verbalizes its Discoveries
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
Vladimir Pericliev
ENTCS
2002
139views more  ENTCS 2002»
15 years 7 months ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman