1593 search results - page 210 / 319 » A visual programming system for automated problem solving |
162
click to vote
TABLEAUX
1995
Springer
15 years 7 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
102
click to vote
EWC
2006
15 years 4 months ago
2006
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
134
click to vote
UM
2010
Springer
15 years 2 months ago
2010
Springer
While browsing the Web, providing profile information in social networking services, or tagging pictures, users leave a plethora of traces. In this paper, we analyze the nature of ...
198
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
159
click to vote
ICVS
2009
Springer
15 years 10 months ago
2009
Springer
The faithful detection of the motion and of the distance of the objects in the visual scene is a desirable feature of any artificial vision system designed to operate in unknown e...