Sciweavers

3229 search results - page 353 / 646
» The Theory of Timed Automata
Sort
View
SEC
2000
15 years 8 months ago
Using Mobile Agent Results to Create Hard-to-Detect Computer Viruses
The theory of computer viruses has been studied by several authors, though there is no systematic theoretical study up to now. The long time open question in this area is as follo...
Yongge Wang
IJCAI
1993
15 years 8 months ago
An Inductive Approach to Learning Search Control Rules for Planning
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...
Christopher Leckie, Ingrid Zukerman
162
Voted
NIPS
1996
15 years 8 months ago
Are Hopfield Networks Faster than Conventional Computers?
It is shown that conventional computers can be exponentially faster than planar Hopfield networks: although there are planar Hopfield networks that take exponential time to conver...
Ian Parberry, Hung-Li Tseng
ALGORITHMICA
2010
104views more  ALGORITHMICA 2010»
15 years 7 months ago
Fixed-Parameter Approximation: Conceptual Framework and Approximability Results
The notion of fixed-parameter approximation is introduced to investigate the approximability of optimization problems within the framework of fixed-parameter computation. This work...
Liming Cai, Xiuzhen Huang
CORR
2010
Springer
82views Education» more  CORR 2010»
15 years 7 months ago
Removing Local Extrema from Imprecise Terrains
In this paper, we study imprecise terrains, that is, triangulated terrains with a vertical error interval in the vertices. We study the problem of removing as many local extrema (...
Chris Gray, Frank Kammer, Maarten Löffler, Ro...