Sciweavers

4166 search results - page 416 / 834
» A modular module system
Sort
View
222
Voted
IANDC
2011
119views more  IANDC 2011»
15 years 2 months ago
Quantitative Kleene coalgebras
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
217
Voted
ISER
1993
Springer
141views Robotics» more  ISER 1993»
15 years 11 months ago
Experimental Integration of Planning in a Distributed Control System
This paper describes a complete system architecture integrating planning into a two-armed robotic workcell. The system is comprised of four major components: user interface, plann...
Gerardo Pardo-Castellote, Tsai-Yen Li, Yoshihito K...
205
Voted
KBS
2006
92views more  KBS 2006»
15 years 7 months ago
Two-level speech recognition to enhance the performance of spoken dialogue systems
Spoken dialogue systems can be considered knowledge-based systems designed to interact with users using speech in order to provide information or carry out simple tasks. Current s...
Ramón López-Cózar, Zoraida Ca...
204
Voted
BMCBI
2005
124views more  BMCBI 2005»
15 years 7 months ago
Internet-based profiler system as integrative framework to support translational research
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...
Robert Kim, Francesca Demichelis, Jeffery Tang, Al...
213
Voted
GECCO
2006
Springer
201views Optimization» more  GECCO 2006»
15 years 11 months ago
Selective self-adaptive approach to ant system for solving unit commitment problem
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...
Songsak Chusanapiputt, Dulyatat Nualhong, Sujate J...