Sciweavers

5122 search results - page 776 / 1025
» Comparing Consequence Relations
Sort
View
INFORMATICALT
2008
207views more  INFORMATICALT 2008»
15 years 6 months ago
Lithuanian Speech Recognition Using the English Recognizer
Abstract. The present work is concerned with speech recognition using a small or medium size vocabulary. The possibility to use the English speech recognizer for the recognition of...
Pijus Kasparaitis
CN
2007
120views more  CN 2007»
15 years 6 months ago
A case for Passive Application Layer Multicast
Over the last few years, application-layer multicast (ALM) has emerged as a plausible solution for supporting group-oriented applications. However, ALM suffers from inefficiency ...
Xiaolong Li, Aaron Striegel
IOR
2008
119views more  IOR 2008»
15 years 6 months ago
Integrating Approximation and Interactive Decision Making in Multicriteria Optimization
We present a new interactive hybrid approach for solving multicriteria optimization problems where features of approximation methods and interactive approaches are incorporated. W...
Kathrin Klamroth, Kaisa Miettinen
IGPL
2006
110views more  IGPL 2006»
15 years 6 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
IIE
2006
81views more  IIE 2006»
15 years 6 months ago
Various Utilizations of an Open-Source Program Visualization Tool, Jeliot 3
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
Roman Bednarik, Andrés Moreno, Niko Myller