1116 search results - page 49 / 224 » Applying Predicate Abstraction to Abstract State Machines |
101
click to vote
WSC
2000
15 years 14 days ago
2000
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...
ISCIS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract—The notion of affordances was proposed by J.J. Gibson, to refer to the action possibilities offered to the organism by its environment. In a previous formalization, affo...
SBP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. There is much empirical evidence that human decisionmaking under risk does not correspond the decision-theoretic notion of “rational” decision making, namely to make ...
PROPOR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In this work, we apply and evaluate a machine-learningbased system to Portuguese clause identification. To the best of our knowledge, this is the first machine-learning-b...
GRC
2007
IEEE
15 years 28 days ago
2007
IEEE
Abstract— Rough support vector machines (RSVMs) supplement conventional support vector machines (SVMs) by providing a better representation of the boundary region. Increasing int...