1116 search results - page 47 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ACL
2008
15 years 18 days ago
2008
We present a simple linguistically-motivated method for characterizing the semantic relations that hold between two nouns. The approach leverages the vast size of the Web in order...
AUSAI
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Q-learning can be used to learn a control policy that maximises a scalar reward through interaction with the environment. Qlearning is commonly applied to problems with d...
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
103
click to vote
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...