Sciweavers

1981 search results - page 235 / 397
» The State of Change: A Survey
Sort
View
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 10 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
ARC
2010
Springer
128views Hardware» more  ARC 2010»
15 years 9 months ago
Reconfigurable Polyphase Filter Bank Architecture for Spectrum Sensing
Abstract. This paper presents a brief tutorial and background on implementing filter banks for spectrum sensing. It discusses the advantages of this approach over standard FFT-base...
Suhaib A. Fahmy, Linda Doyle
AAAI
2007
15 years 8 months ago
RETALIATE: Learning Winning Policies in First-Person Shooter Games
In this paper we present RETALIATE, an online reinforcement learning algorithm for developing winning policies in team firstperson shooter games. RETALIATE has three crucial chara...
Megan Smith, Stephen Lee-Urban, Hector Muño...
FLAIRS
2008
15 years 8 months ago
Win, Lose, or Get Out the Way - Eliminating Unnecessary Evaluation in Game Search
In this paper we present our approach of improving the traditional alpha-beta search process for strategic board games by modifying the method in two ways: 1) forgoing the evaluat...
Hsiu-Chin Lin, Colleen van Lent
BIRTHDAY
2008
Springer
15 years 8 months ago
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
Carlo Ghezzi, Paola Inverardi, Carlo Montangero