Sciweavers

2658 search results - page 106 / 532
» Micro-communication Element System
Sort
View
FLAIRS
2003
15 years 8 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 7 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
160
Voted
FUNGAMES
2008
15 years 7 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 6 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»
15 years 1 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...