Sciweavers

1734 search results - page 114 / 347
» What works
Sort
View
ACMSE
2006
ACM
14 years 3 months ago
Inductive bases and their application to searches for minimal unary NFAs
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
Geoffrey Smith
MOMM
2006
ACM
14 years 3 months ago
Change Detection from Multitemporal Land-cover Class Images
Earth-observing satellites, such Landsat, provide many multitemporal images of earth and with classification techniques, land-cover class images can easily be prepared. Multitempo...
Petrus Paryono
SAC
2006
ACM
14 years 3 months ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe
ASWEC
2005
IEEE
14 years 2 months ago
Detecting Indirect Coupling
Coupling is considered by many to be an important concept in measuring design quality. There is still much to be learned about which aspects of coupling affect design quality or o...
Hong Yul Yang, Ewan D. Tempero, Rebecca Berrigan
CEC
2005
IEEE
14 years 2 months ago
The fitness map scheme: application to interactive multifractal image denoising
AbstractInteractive evolutionary algorithms (IEA) often suffer from what is called the “user bottleneck.” In this paper, we propose and analyse a method to limit the user inter...
Evelyne Lutton, Mario Pilz, Jacques Lévy V&...