Sciweavers

6348 search results - page 633 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ISSTA
2006
ACM
16 years 1 months ago
A case study of automatically creating test suites from web application field data
Creating effective test cases is a difficult problem, especially for web applications. To comprehensively test a web application’s functionality, test cases must test complex a...
Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lor...
193
Voted
PVLDB
2010
122views more  PVLDB 2010»
15 years 5 months ago
From a Stream of Relational Queries to Distributed Stream Processing
Applications from several domains are now being written to process live data originating from hardware and softwarebased streaming sources. Many of these applications have been wr...
Qiong Zou, Huayong Wang, Robert Soulé, Mart...

Publication
1301views
16 years 7 months ago
Markovian Tracking-by-Detection from a Single, Uncalibrated Camera
We present an algorithm for multi-person tracking-bydetection in a particle filtering framework. To address the unreliability of current state-of-the-art object detectors, our a...
Michael D. Breitenstein, Fabian Reichlin, Bastian ...
200
Voted
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
16 years 2 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
MABS
2004
Springer
16 years 19 days ago
Smooth Scaling Ahead: Progressive MAS Simulation from Single PCs to Grids
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
Les Gasser, Kelvin Kakugawa, Brant Chee, Marc Este...