Sciweavers

1102 search results - page 47 / 221
» Generalizing Updates: From Models to Programs
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 10 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
GECCO
2010
Springer
206views Optimization» more  GECCO 2010»
14 years 1 months ago
Development of efficient particle swarm optimizers by using concepts from evolutionary algorithms
Particle swarm optimization (PSO) has been in practice for more than 10 years now and has gained wide popularity in various optimization tasks. In the context to single objective ...
Kalyanmoy Deb, Nikhil Padhye
ICCV
2009
IEEE
15 years 2 months ago
Learning Deformable Action Templates from Crowded Videos
In this paper, we present a Deformable Action Template (DAT) model that is learnable from cluttered real-world videos with weak supervisions. In our generative model, an action ...
Benjamin Yao, Song-Chun Zhu
OOPSLA
2005
Springer
14 years 3 months ago
Constructing a metacircular Virtual machine in an exploratory programming environment
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
David Ungar, Adam Spitz, Alex Ausch
ICSE
2005
IEEE-ACM
14 years 10 months ago
Global software development at siemens: experience from nine projects
We report on the experiences of Siemens Corporation in nine globally-distributed software development projects. These projects represent a range of collaboration models, from co-d...
James D. Herbsleb, Daniel J. Paulish, Matthew Bass