571 search results - page 59 / 115 » Context Proceduralization in Decision Making |
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
IPMU
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Credal sets are closed convex sets of probability mass functions. The lower probabilities specified by a credal set for each element of the power set can be used as cons...
103
click to vote
CAISE
2010
Springer
15 years 28 days ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
103
click to vote
TMM
2002
14 years 11 months ago
2002
Modeling spatial context (e.g., autocorrelation) is a key challenge in classification problems that arise in geospatial domains. Markov random fields (MRF) is a popular model for i...
183
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...