Sciweavers

2468 search results - page 256 / 494
» A New Approach to Pseudoword Generation
Sort
View
APN
2000
Springer
15 years 10 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
GECCO
2000
Springer
114views Optimization» more  GECCO 2000»
15 years 10 months ago
Intelligent Recombination Using Individual Learning in a Collective Learning Genetic Algorithm
This paper introduces a new collective learning genetic algorithm (CLGA) which employs individual learning to do intelligent recombination based on a cooperative exchange of knowl...
Terry P. Riopka, Peter Bock
ICPR
2010
IEEE
15 years 9 months ago
Fence Removal from Multi-Focus Images
—When an image of a scene is captured by a camera through a fence, a blurred fence image interrupts objects in the scene. In this paper, we propose a method for a fence removal f...
Atsushi Yamashita, Akiyoshi Matsui, Toru Kaneko
EUROSSC
2008
Springer
15 years 8 months ago
Synthesizing Context for a Sports Domain on a Mobile Device
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
Alisa Devlic, Michal Koziuk, Wybe Horsman
LREC
2008
123views Education» more  LREC 2008»
15 years 8 months ago
Generalising Lexical Translation Strategies for MT Using Comparable Corpora
We report on an on-going research project aimed at increasing the range of translation equivalents which can be automatically discovered by MT systems. The methodology is based on...
Bogdan Babych, Serge Sharoff, Anthony Hartley