2722 search results - page 114 / 545 » Automating Language Evolution |
128
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
119
Voted
EXTREME
2004
ACM
15 years 10 months ago
2004
ACM
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...
127
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
We present Koala, a system that enables users to capture, share, automate, and personalize business processes on the web. Koala is a collaborative programming-bydemonstration syst...
118
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
123
click to vote
JLP
1998
15 years 4 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...