Sciweavers

1929 search results - page 33 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
70
Voted
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 1 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
86
Voted
KCAP
2005
ACM
15 years 3 months ago
User-centered consultation by a society of agents
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...
Georg Buscher, Joachim Baumeister, Frank Puppe, Di...
ERLANG
2007
ACM
15 years 1 months ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro
72
Voted
SPATIALCOGNITION
2004
Springer
15 years 2 months ago
A Model for Context-Specific Route Directions
Wayfinding, i.e. getting from some origin to a destination, is one of the prime everyday problems humans encounter. It has received a lot of attention in research and many (commerc...
Kai-Florian Richter, Alexander Klippel
98
Voted
IJCSA
2006
113views more  IJCSA 2006»
14 years 9 months ago
An Advanced XML Mediator for Heterogeneous Information Systems Based on Application Domain Specification
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...
Mostafa Ezziyyani, Mustapha Bennouna, Loubna Cherr...