Sciweavers

6719 search results - page 1166 / 1344
» A Generalization of Automatic Sequences
Sort
View
169
Voted
IANDC
2007
152views more  IANDC 2007»
15 years 4 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
SIGIR
2008
ACM
15 years 4 months ago
On iterative intelligent medical search
Searching for medical information on the Web has become highly popular, but it remains a challenging task because searchers are often uncertain about their exact medical situation...
Gang Luo, Chunqiang Tang
TASE
2008
IEEE
15 years 4 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
TVCG
2008
192views more  TVCG 2008»
15 years 4 months ago
Anisotropic Noise Samples
We present a practical approach to generate stochastic anisotropic samples with Poisson-disk characteristic over a two-dimensional domain. In contrast to isotropic samples, we unde...
Louis Feng, Ingrid Hotz, Bernd Hamann, Kenneth I. ...
145
Voted
AI
2002
Springer
15 years 4 months ago
Improving heuristic mini-max search by supervised learning
This article surveys three techniques for enhancing heuristic game-tree search pioneered in the author's Othello program Logistello, which dominated the computer Othello scen...
Michael Buro
« Prev « First page 1166 / 1344 Last » Next »