Sciweavers

15860 search results - page 2575 / 3172
» Agent-Based Software Engineering
Sort
View
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
16 years 7 months ago
XML database support for distributed execution of data-intensive scientific workflows
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
Shannon Hastings, Matheus Ribeiro, Stephen Langell...
EDBT
2008
ACM
141views Database» more  EDBT 2008»
16 years 7 months ago
Generating Highly Customizable SQL Parsers
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
Gunter Saake, Marko Rosenmüller, Martin Kuhle...

Publication
350views
16 years 7 months ago
Probabilistic Parameter Selection for Learning Scene Structure from Video
We present an online learning approach for robustly combining unreliable observations from a pedestrian detector to estimate the rough 3D scene geometry from video sequences of a...
Michael D. Breitenstein, Eric Sommerlade, Bastian ...
ICFP
2008
ACM
16 years 6 months ago
Paradise: a two-stage DSL embedded in Haskell
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...
Lennart Augustsson, Howard Mansell, Ganesh Sittamp...
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
« Prev « First page 2575 / 3172 Last » Next »