Sciweavers

4743 search results - page 268 / 949
» Introduction to Functional Programming
Sort
View
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
FLAIRS
2008
15 years 9 months ago
Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
Mathias Niepert, Cameron Buckner, Colin Allen
ESWS
2008
Springer
15 years 8 months ago
Demo: Visual Programming for the Semantic Desktop with Konduit
Abstract. In this demo description, we present Konduit, a desktopbased platform for visual programming with RDF data. Based on the idea of the semantic desktop, non-technical users...
Knud Möller, Siegfried Handschuh, Sebastian T...
BDA
2007
15 years 8 months ago
Pattern by Example: type-driven visual programming of XML queries
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
Véronique Benzaken, Giuseppe Castagna, Dari...
178
Voted
SODA
2008
ACM
138views Algorithms» more  SODA 2008»
15 years 8 months ago
Fully polynomial time approximation schemes for stochastic dynamic programs
We develop a framework for obtaining Fully Polynomial Time Approximation Schemes (FPTASs) for stochastic univariate dynamic programs with either convex or monotone single-period c...
Nir Halman, Diego Klabjan, Chung-Lun Li, James B. ...