Sciweavers

5090 search results - page 434 / 1018
» Constructing Strategies for Programming
Sort
View
INFORMS
2006
87views more  INFORMS 2006»
15 years 6 months ago
Early Estimates of the Size of Branch-and-Bound Trees
This paper intends to show that the time needed to solve mixed integer programming problems by branch and bound can be roughly predicted early in the solution process. We construc...
Gérard Cornuéjols, Miroslav Karamano...
LRE
2008
62views more  LRE 2008»
15 years 6 months ago
Adding phonetic similarity data to a lexical database
As part of a project to construct an interactive program which would encourage children to play with language by building jokes, we developed a lexical database, starting from Word...
Ruli Manurung, Graeme Ritchie, Helen Pain, Annalu ...
AIR
2004
106views more  AIR 2004»
15 years 6 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 4 months ago
Recursive Definitions of Monadic Functions
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...
Alexander Krauss
ECCV
2002
Springer
16 years 8 months ago
New Techniques for Automated Architectural Reconstruction from Photographs
Abstract. We investigate a strategy for reconstructing of buildings from multiple (uncalibrated) images. In a similar manner to the Facade approach we first generate a coarse piece...
Tomás Werner, Andrew Zisserman