1593 search results - page 152 / 319 » A visual programming system for automated problem solving |
145
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
141
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
138
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...
141
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
116
click to vote
CHI
2001
ACM
16 years 4 months ago
2001
ACM
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...