Sciweavers

2658 search results - page 106 / 532
» Micro-communication Element System
Sort
View
FLAIRS
2003
15 years 5 months ago
Improving the Representation Space through Exception-Based Learning
This paper addresses the problem of improving the representation space in a rule-based intelligent system, through exception-based learning. Such a system generally learns rules c...
Cristina Boicu, Gheorghe Tecuci, Mihai Boicu, Dori...
CADE
2010
Springer
15 years 5 months ago
MCMT: A Model Checker Modulo Theories
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
Silvio Ghilardi, Silvio Ranise
FUNGAMES
2008
15 years 5 months ago
Rotational Dynamics for Design of Bidirectional Feedback during Manual Interaction
Abstract. Rotational dynamic system models can be used to enrich tightlycoupled embodied control of movement-sensitive mobile devices, and support a more bidirectional, negotiated ...
Roderick Murray-Smith, Steven Strachan
AIS
2000
Springer
15 years 4 months ago
A comparison between Maya hieroglyphs and computer icons
Interface design normally follows the traditional approach of Art and Design, which requires reworking to refine an idea through visual playfulness until a solution has been achiev...
Paul Honeywill
TIM
2010
139views Education» more  TIM 2010»
14 years 11 months ago
A Design Approach For Digital Controllers Using Reconfigurable Network-Based Measurements
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
Rong Liu, Antonello Monti, Ferdinanda Ponci, Anton...