Sciweavers

1143 search results - page 143 / 229
» Mental models of recursion
Sort
View
CONCUR
2006
Springer
14 years 24 days ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
ECCV
2006
Springer
14 years 23 days ago
Using a Connected Filter for Structure Estimation in Perspective Systems
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
Fredrik Nyberg, Ola Dahl, Jan Holst, Anders Heyden
ICDT
2010
ACM
194views Database» more  ICDT 2010»
13 years 11 months ago
Bag Equivalence of XPath Queries
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
Sara Cohen, Yaacov Y. Weiss
AAAI
1997
13 years 10 months ago
Effective Bayesian Inference for Stochastic Programs
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Daphne Koller, David A. McAllester, Avi Pfeffer
FSS
2008
127views more  FSS 2008»
13 years 9 months ago
On the computing power of fuzzy Turing machines
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
Benjamín René Callejas Bedregal, San...