9626 search results - page 1693 / 1926 » Invariant Based Programming |
160
click to vote
AIPS
2007
15 years 8 months ago
2007
Several researchers have shown that the efficiency of value iteration, a dynamic programming algorithm for Markov decision processes, can be improved by prioritizing the order of...
164
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...
189
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
174
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
148
click to vote
USS
2008
15 years 8 months ago
2008
The abuse of chat services by automated programs, known as chat bots, poses a serious threat to Internet users. Chat bots target popular chat networks to distribute spam and malwa...