Sciweavers

1127 search results - page 103 / 226
» The XIS Generative Programming Techniques
Sort
View
WWW
2002
ACM
16 years 5 months ago
Translating XSLT programs to Efficient SQL queries
We present an algorithm for translating XSLT programs into SQL. Our context is that of virtual XML publishing, in which a single XML view is defined from a relational database, an...
Sushant Jain, Ratul Mahajan, Dan Suciu
ATAL
2009
Springer
15 years 11 months ago
Constraint-based dynamic programming for decentralized POMDPs with structured interactions
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
Akshat Kumar, Shlomo Zilberstein
PPDP
2007
Springer
15 years 10 months ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
15 years 10 months ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 9 months ago
Fault tolerant control allocation for a thruster-controlled floating platform using parametric programming
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
Jørgen Spjøtvold, Tor Arne Johansen