15614 search results - page 132 / 3123 » The State of State |
107
Voted
FSMNLP
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a method for converting back and forth between the Perso-Arabic and a Romanized writing systems for Persian. Given a word in one writing system, we use finite ...
102
Voted
AIPS
2004
15 years 2 months ago
2004
Approximate linear programming (ALP) offers a promising framework for solving large factored Markov decision processes (MDPs) with both discrete and continuous states. Successful ...
PST
2004
15 years 2 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
114
Voted
PTS
2003
15 years 2 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
121
Voted
AAAI
2000
15 years 2 months ago
2000
Our work is driven by one of the core purposes of artificial intelligence: to develop real robotic agents that achieve complex high-level goals in real-time environments. Robotic ...